Equivalence Checking for Intelligent Circuits

被引：0

作者：

Fan, De-Hui ^{[1
]}

Ma, Guang-Sheng ^{[1
]}

机构：

[1] Harbin Engn Univ, Coll Comp Sci & Technol, Harbin, Peoples R China

来源：

2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION WORKSHOP: IITA 2008 WORKSHOPS, PROCEEDINGS | 2008年

关键词：

formal verification; equivalence checking; WGL;

D O I：

10.1109/IITA.Workshops.2008.188

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Equivalence checking is playing a significant role in Intelligent Circuits design. However, the common models for verification either have their complexity problems or have applicable limitations. In order to overcome the deficiencies, a model WGL (Weighted Generalized List) is proposed and based on WGL we give an algorithm for cheking. comparing the model WLDDs, the experiments show that the WGL is more efficient.

引用

页码：785 / 787

页数：3

共 50 条

[31] Arithmetic Operand Ordering for Equivalence Checking
Weng, Yanling
Ge, Haitong
Yan, Xiaolang
Kun, Ren
Tsinghua Science and Technology, 2007, 12 (SUPPL. 1): : 235 - 239
[32] Equivalence Checking between SLM and RTL Using Machine Learning Techniques
Hu, Jian
Li, Tun
Li, Sikun
PROCEEDINGS OF THE SEVENTEENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN ISQED 2016, 2016, : 129 - 134
[33] Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths
Fujita, M
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2005, 10 (04) : 610 - 626
[34] Automated Equivalence Checking of Concurrent Quantum Systems
Ardeshir-Larijani, Ebrahim
Gay, Simon J.
Nagarajan, Rajagopal
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (04)
[35] RANDOMIZED ALGORITHM FOR CHECKING EQUIVALENCE OF CIRCULAR LISTS
ITAI, A
INFORMATION PROCESSING LETTERS, 1979, 9 (03) : 118 - 121
[36] A General Equivalence Checking Framework for Multivalued Logic
Lin, Chia-Chun
Yen, Hsin-Ping
Wei, Sheng-Hsiu
Chen, Pei-Pei
Chen, Yung-Chih
Wang, Chun-Yao
2021 26TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2021, : 61 - 66
[37] The Power of Simulation for Equivalence Checking in Quantum Computing
Burgholzer, Lukas
Wille, Robert
PROCEEDINGS OF THE 2020 57TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2020,
[38] EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS
Lam, Vitus S. W.
Padget, Julian
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (02) : 265 - 304
[39] 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
[40] Combinational equivalence checking through function transformation
Kwak, HH
Moon, IH
Kukula, JH
Shiple, TR
IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 526 - 533

← 1 2 3 4 5 →