Introducing Digital Circuits Design and Formal Verification Concurrently

2000 ◽  
pp. 261-264 ◽  
Author(s):  
Paul Amblard ◽  
Fabienne Lagnier ◽  
Michel Levy
Keyword(s):  
Formal Verification ◽  
Digital Circuits

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

2010 ◽  
Vol 29-32 ◽  
pp. 1040-1045
Author(s):  
Zhong Liang Pan ◽  
Ling Chen
Keyword(s):  
Formal Verification ◽  
Circuit Design ◽  
Digital Circuits ◽  
Experimental Results ◽  
Equivalence Checking ◽  
Decision Diagrams ◽  
Circuit Partitioning ◽  
Circuit Verification ◽  
Verification Method ◽  
Signal Line

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.

Formal verification of digital circuits using hybrid simulation

1988 ◽  
Vol 4 (1) ◽  
pp. 19-27 ◽  
Author(s):  
N.C.E. Srinivas ◽  
V.D. Agrawal
Keyword(s):  
Formal Verification ◽  
Digital Circuits ◽  
Hybrid Simulation

Digital circuits operating at 1 Mc/s using transistors

1959 ◽  
Vol 106 (16S) ◽  
pp. 688-697 ◽  
Author(s):  
B.D. Simmons ◽  
D.M. Bibb
Keyword(s):  
Digital Circuits

ALL-OPTICAL DIGITAL CIRCUITS

1988 ◽  
Vol 49 (C2) ◽  
pp. C2-459-C2-462 ◽  
Author(s):  
F. A.P. TOOLEY ◽  
B. S. WHERRETT ◽  
N. C. CRAFT ◽  
M. R. TAGHIZADEH ◽  
J. F. SNOWDON ◽  
...  
Keyword(s):  
Digital Circuits ◽  
All Optical
Sign in / Sign up

Export Citation Format

Share Document