A general methodology for synthesis and verification of register-transfer designs.

Alice C. Parker Fadi J. Kurdahi Mitch J. Mlinar

Published in: DAC (1984)

Keyphrases

special case
model checking
design methodology
database
real time
data sets
databases
computer vision
decision making
web services
case study
database systems
similarity measure
active learning
design space exploration