Verifying pipelined hardware using symbolic logic simulation.
Soumitra BoseAllan L. FisherPublished in: ICCD (1989)
Keyphrases
- chip design
- low cost
- real time
- digital circuits
- asynchronous circuits
- simulation model
- hardware and software
- data flow
- binary decision diagrams
- symbolic representation
- model checking
- embedded systems
- modal logic
- massively parallel
- multi valued
- simulation models
- signal processing
- general purpose
- hardware software
- data sets