Hardware Specification, Verification and Synthesis: Mathematical Aspects: Leeser, M and Brown, G (Eds) Springer-Verlag, Heidelberg, Germany (1989) DM 57 pp 408.
Hussein ZedanPublished in: Microprocess. Microsystems (1990)
Keyphrases
- springer verlag
- formal verification
- hardware designs
- low cost
- asynchronous circuits
- model checking
- formal methods
- computer society
- program synthesis
- hardware and software
- real time
- image processing
- protocol specification
- face verification
- hardware implementation
- decision makers
- general purpose
- computer science
- high level
- mathematical models
- computing power
- embedded systems
- digital circuits
- computational models
- computer systems
- control program
- san diego
- parallel hardware
- heterogeneous computing