Resolution-based correctness proofs of synchronous circuits
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The OTTER environment for resolution-based proof of hardware correctnessMicroprocessing and Microprogramming, 1990
- Application of term rewriting techniques to hardware design verificationPublished by Association for Computing Machinery (ACM) ,1987