Jerry R. Burch, Vigyan Singhal. Robust latch mapping for combinational equivalence checking. In ICCAD. pages 563-569, 1998. [doi]
@inproceedings{BurchS98, title = {Robust latch mapping for combinational equivalence checking}, author = {Jerry R. Burch and Vigyan Singhal}, year = {1998}, doi = {10.1145/288548.289087}, url = {http://doi.acm.org/10.1145/288548.289087}, researchr = {https://researchr.org/publication/BurchS98}, cites = {0}, citedby = {0}, pages = {563-569}, booktitle = {ICCAD}, }