Automatic verification of speed-independent circuit designs using the Circal system
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 167-178
- https://doi.org/10.1007/bfb0021722
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- CIRCAL and the representation of communication, concurrency, and timeACM Transactions on Programming Languages and Systems, 1985