An ATPG-Based Framework for Verifying Sequential Equivalence.

Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Uwe Glser

Browse the full ITC paper archive.