Proving Circuit Correctness using Formal Comparison Between Expected and Extracted Behaviour (1988)

by J P Billon Madre
Venue:P oc. of the 25th Design Automation Conference