Paper Title:
A New Verification Method of Digital Circuits Based on Cone-Oriented Partitioning and Decision Diagrams
  Abstract

The formal verification is able to check whether the implementation of a circuit design is functionally equivalent to an earlier version described at the same level of abstraction, it can show the correctness of a circuit design. A new circuit verification method based on cone-oriented circuit partitioning and decision diagrams is presented in this paper. First of all, the structure level of every signal line in a circuit is computed. Secondly, the circuit is partitioned into a lot of cone structures. The multiple-valued decision diagram corresponding to every cone structure is generated. The verification procedure is to compare the equivalence of the multiple-valued decision diagrams of two types of cone structures. Experimental results on a lot of benchmark circuits show the method presented in this paper can effectively perform the equivalence checking of circuits.

  Info
Periodical
Edited by
Honghua Tan
Pages
1040-1045
DOI
10.4028/www.scientific.net/AMM.29-32.1040
Citation
Z. L. Pan, L. Chen, "A New Verification Method of Digital Circuits Based on Cone-Oriented Partitioning and Decision Diagrams", Applied Mechanics and Materials, Vols. 29-32, pp. 1040-1045, 2010
Online since
August 2010
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Xin Fa Chen, Yujuan Si, Yi Zhao, Shi Yong Liu
Abstract:The lifetime of organic light-emitting devices can be influenced by the OLED material and structure, electrode material, driving mode and so...
1901
Authors: Lan Chen
Mechanical Control and Information Processing Technology
Abstract:WEDM as a special processing method is widely used in the manufacturing. Focused on the hardware and control strategy of servo control system...
2834
Authors: Yi Jiang Cao, Er Dong Zhang, Qian Cui, Xiao Wei Liu
Microelectronic Technology
Abstract:Used Three-stage op amp to design a good performance CMOS integrated charge detection based on quartz gyroscope. In the circuit design, using...
1143
Authors: Sheng Yi Chen, Gui Tang Wang, Ying Ge Li
Chapter 4: Computer Integrated Manufacturing System and Contemporary Integrated Manufacturing System
Abstract:Aiming at the problem that the quality of fans control circuit board is not stable, this paper designs and develops of multiparameter...
731
Authors: Shen Li Chen, C.K. Lee
III. Advanced Design, Modelling, Analysis Science in Manufacturing Technologies
Abstract:In this work, we present a sensorless single-chip design for the three-phase brushless DC motors (BDCM) system, and which is implemented by a...
742