Sciweavers

ITC
1996
IEEE

An ATPG-Based Framework for Verifying Sequential Equivalence

14 years 4 months ago
An ATPG-Based Framework for Verifying Sequential Equivalence
Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen,
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where ITC
Authors Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Uwe Gläser
Comments (0)