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

Abstract:

Article Preview

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 and 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:

$35.00

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

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