Abstract | ||
---|---|---|
Decision Diagrams are used in design automation for efficient representation of Boolean functions. It is also possible to directly derive circuits from Decision Diagrams. In this paper we present an approach to synthesize circuits from a very general class of Decision Diagrams, the ordered Kronecker Functional Decision Diagrams. These Decision Diagrams make use of Davio decompositions which are based on exclusive-or operations and therefore allow the use of EXOR gates in the synthesized circuits. We investigate area, depth, and testability of these circuits and compare them to circuit designs generated by other synthesis tools. Experimental results show that the presented approach is suitable to overcome the trade-off between depth and testability at the price of reasonable area overhead |
Year | DOI | Venue |
---|---|---|
1996 | 10.1109/ATS.1996.555152 | Asian Test Symposium |
Keywords | Field | DocType |
testable kfdd-circuits,matrix multiplication,logic cad,combinational circuits,davio decomposition,kronecker functional decision diagrams,derive circuit,exclusive-or operation,directed acyclic graph,efficient representation,boolean matrix multiplication,decision diagrams,minimisation of switching nets,shannon decomposition,reachability matrices,built-in self test,davio decompositions,fault diagnosis,exor gate,exor gates,reasonable area overhead,small depth,design automation,automatic testing,stuck at fault testability,directed graphs,ordered kronecker functional decision diagrams,logic minimization,design for testability,and/exor-based synthesis,boolean functions,boolean function,logic testing,reachability analysis,decision diagram,system testing,circuit design,data structures,computer science | Testability,Boolean function,Design for testing,Computer science,Directed acyclic graph,Combinational logic,Electronic engineering,Theoretical computer science,Electronic design automation,ExOR,Built-in self-test | Conference |
ISSN | ISBN | Citations |
1085-7735 | 0-8186-7478-4 | 7 |
PageRank | References | Authors |
0.95 | 9 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Harry Hengster | 1 | 42 | 4.84 |
Rolf Drechsler | 2 | 3707 | 351.36 |
B. Becker | 3 | 411 | 36.80 |
Stefan Eckrich | 4 | 7 | 0.95 |
Tonja Pfeiffer | 5 | 7 | 0.95 |