Jean Christophe Madre, Jean-Paul Billon. Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. In DAC. pages 205-210, 1988. [doi]
@inproceedings{MadreB88,
title = {Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour},
author = {Jean Christophe Madre and Jean-Paul Billon},
year = {1988},
url = {http://portal.acm.org/citation.cfm?id=285730.285764},
researchr = {https://researchr.org/publication/MadreB88},
cites = {0},
citedby = {0},
pages = {205-210},
booktitle = {DAC},
}