Proof-Aided Design of Verified Hardware.

Holger Busch Gerd Venzl

Published in: DAC (1991)

Keyphrases

hardware design
low cost
circuit design
digital computer
image processing
user interface
building blocks
design principles
expert systems
monitoring system
computing systems
design space
computer architecture
digital signal processing
power dissipation
chip design