Value of sequential equivalence checking

被引：0

作者：

Kumar, R. ^{[1
]}

Kunz, W. ^{[1
]}

机构：

[1] Verysys Corp

来源：

Electronic Engineering (London) | 1999年 / 71卷 / 869期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] Design automation - The value of sequential equivalence checking
Kumar, R
Kunz, W
ELECTRONIC ENGINEERING, 1999, 71 (869): : 22 - +
[2] Sequential equivalence checking
Mathur, A
Fujita, M
Balakrishnan, M
Mitra, R
19TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 2005, : 18 - 19
[3] Equivalence Checking of Sequential Quantum Circuits
Wang, Qisheng
Li, Riling
Ying, Mingsheng
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (09) : 3143 - 3156
[4] Sequential equivalence checking using cuts
Huang, Wei
Tang, PuShan
Ding, Min
ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 455 - 458
[5] Sequential equivalence checking by symbolic simulation
Ritter, G
FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 423 - 442
[6] Preparing Rearchitected Designs for Sequential Equivalence Checking
Nodine, Mark
MTV 2008: NINTH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION, PROCEEDINGS, 2009, : 27 - 32
[7] Sequential equivalence checking based on structural similarities
van Eijk, CAJ
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2000, 19 (07) : 814 - 819
[8] Retiming verification using sequential equivalence checking
Kahne, Brian
Abadir, Magdy
MTV 2005: SIXTH INTERNATIONAL WORKSHOP ON MICROPRESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2006, : 138 - +
[9] AQUILA: An equivalence checking system for large sequential designs
Huang, SY
Cheng, KT
Chen, KC
Huang, CY
Brewer, F
IEEE TRANSACTIONS ON COMPUTERS, 2000, 49 (05) : 443 - 464
[10] Sequential equivalence checking without state space traversal
van Eijk, CAJ
DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 618 - 623

← 1 2 3 4 5 →