Automatic Verification of Extensions of Hardware Descriptions.
Hans EvekingPublished in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
- hardware and software
- low cost
- real time
- computer systems
- hardware implementation
- computing systems
- high level
- embedded systems
- image processing
- default logic
- hardware design
- computing power
- random number generator
- digital signal processor
- standard pc
- circuit design
- computer architecture
- general purpose
- data model
- search engine