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

Jean Christophe Madre, Jean-Paul Billon

Browse the full DAC paper archive.