Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour.

Jean Christophe Madre Jean-Paul Billon

Published in: DAC (1988)

Keyphrases

knowledge base
high speed
automatically extracted
genetic algorithm
image processing
case study
artificial intelligence
website
formal specification
circuit design
user behaviour
analog vlsi