Using Transformations and Verification in Circuit Design.

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

Published in: Larch (1992)

Keyphrases

circuit design
digital circuits
model checking
design automation
formal verification
face verification
database
object oriented
formal analysis
data sets
evolutionary algorithm
power consumption
temporal logic