The verification of a bit-slice ALU
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 282-306
- https://doi.org/10.1007/0-387-97226-9_34
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Microprocessor design verificationJournal of Automated Reasoning, 1989
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986