Semi-modularity and testability of speed-independent circuits
- 1 September 1992
- journal article
- Published by Elsevier in Integration
- Vol. 13 (3) , 301-322
- https://doi.org/10.1016/0167-9260(92)90033-u
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Automatic synthesis of asynchronous circuits from high-level specificationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
- Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsPublished by MIT Press ,1989
- Realization of Fail-Safe Sequential Machines by Using a k-out-of-n CodeIEEE Transactions on Computers, 1971