Verification of I/O trace set inclusion for a class of non-deterministic finite state machines
- 2 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 526-530
- https://doi.org/10.1109/iccd.1992.276231
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A compositional transformation for formal verificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- An Approach to Unified Methodology of Combinational Switching CircuitsIEEE Transactions on Computers, 1977