Verification of Complex Analog Integrated Circuits.

Kenneth S. Kundert Henry Chang

Published in: CICC (2006)

Keyphrases

integrated circuit
high level
model checking
low cost
higher level
real world
bayesian networks
expert systems
artificial neural networks
high speed
temporal logic
electron beam