VINAS-P: A Tool for Trace Theoretic Verification of Timed Asynchronous Circuits
Abstract elided by the publisher.
Related papers
- Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings CAV 1995
- Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits CAV 1992
- Are Cells Asynchronous Circuits? - (Invited Talk) VMCAI 2011
- Abstract Interpretation of Combinational Asynchronous Circuits SAS 2004
- Bounded Model Checking for Asynchronous Hyperproperties TACAS 2023
- Verifying Asynchronous Hyperproperties in Reactive Systems OOPSLA 2025
- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023
- TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems CAV 2005