Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Uwe Gläser. An ATPG-Based Framework for Verifying Sequential Equivalence. In Proceedings IEEE International Test Conference 1996, Test and Design Validity, Washington, DC, USA, October 20-25, 1996. pages 865-874, IEEE Computer Society, 1996.
Abstract is missing.