Peter A. Beerel, Jerry R. Burch, Teresa H. Y. Meng. Checking Combinational Equivalence of Speed-Independent Circuits. Formal Methods in System Design, 13(1):37-85, 1998.
@article{BeerelBM98,
title = {Checking Combinational Equivalence of Speed-Independent Circuits},
author = {Peter A. Beerel and Jerry R. Burch and Teresa H. Y. Meng},
year = {1998},
researchr = {https://researchr.org/publication/BeerelBM98},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {13},
number = {1},
pages = {37-85},
}