Using Transformations and Verification in Ciruit Design.

James B. Saxe Stephen J. Garland John V. Guttag James J. Horning

Published in: Designing Correct Circuits (1992)

Keyphrases

databases
evolutionary algorithm
engineering design
asynchronous circuits
functional verification
neural network
case study
design process
database
real time
social networks
high level
digital libraries
user experience
temporal logic
design methodology