Sequential equivalence checking

被引：0

作者：

Mathur, A ^{[1
]}

Fujita, M ^{[1
]}

Balakrishnan, M ^{[1
]}

Mitra, R ^{[1
]}

机构：

[1] Calypto Design Syst, Santa Clara, CA USA

来源：

19TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS | 2005年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：18 / 19

页数：2