Feng Lu, Kwang-Ting Cheng. SEChecker: A Sequential Equivalence Checking Framework Based on Kth Invariants. IEEE Trans. VLSI Syst., 17(6):733-746, 2009. [doi]
@article{LuC09-7,
title = {SEChecker: A Sequential Equivalence Checking Framework Based on Kth Invariants},
author = {Feng Lu and Kwang-Ting Cheng},
year = {2009},
doi = {10.1109/TVLSI.2008.2005311},
url = {http://dx.doi.org/10.1109/TVLSI.2008.2005311},
tags = {rule-based},
researchr = {https://researchr.org/publication/LuC09-7},
cites = {0},
citedby = {0},
journal = {IEEE Trans. VLSI Syst.},
volume = {17},
number = {6},
pages = {733-746},
}