Verification of Asynchronous Circuits: Behaviors, Constraints and Specifications

This publication has 7 references indexed in Scilit:

• Simulation of MOS Circuits by Decision Diagrams
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985
• Verify: A program for proving correctness of digital hardware designs
  Artificial Intelligence, 1984
• Protocol Verification via Projections
  IEEE Transactions on Software Engineering, 1984
• A Switch-Level Model and Simulator for MOS Digital Systems
  IEEE Transactions on Computers, 1984
• Hardware Specification with Temporal Logic: An Example
  IEEE Transactions on Computers, 1982
• A unified switching theory with applications to VLSI design
  Proceedings of the IEEE, 1982
• An Approach to Unified Methodology of Combinational Switching Circuits
  IEEE Transactions on Computers, 1977