S.B. Akers, "Binary decision diagrams," IEEE Trans. Computers, vol. 27, pp. 509-- 516, August 1978. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Synthesis of Software Programs for Embedded Control.. - Balarin, Chiodo.. (1999) (21 citations) (Correct)
....bits of address for near jumps) For this reason, our techniques and results are quite different from those of [28] and [3] B. Binary Decision Diagrams The BDD is a key data structure as an intermediate representation for our software optimization techniques. A binarydecision diagram (BDD [2], 10] is an efficient representation for storing and manipulating Boolean functions. A BDD is a directed acyclic graph with a root node for each output function and leaf nodes representing the value of each output function for each input minterm. Each nonleaf node is associated with an input ....
S. B. Akers, "Binary decision diagrams," in IEEE Trans. Comput., vol. C-27, pp. 509--516, June 1978.
Ordered Binary Decision Diagrams - And Minimal Trellises (Correct)
No context found.
S.B. Akers, "Binary decision diagrams," IEEE Trans. Computers, vol. 27, pp. 509-- 516, August 1978.
High-Level Test Synthesis with Hierarchical Test Generation - Gert Jervan Petru (1999) (Correct)
No context found.
S.B.Akers, "Binary Decision Diagrams", IEEE Trans. Computers, Vol. 27, pp.509-516, June 1978.
Equivalence Checking Combining a Structural SAT-Solver.. - Simulation Viresh Paruthi (2000) (Correct)
No context found.
S. B. Akers, "Binary decision diagrams," IEEE Transactions on Computers, vol. 27, pp. 509--516, June 1978.
High-Level Test Generation and Built-In . . . - Jervan (2002) (Correct)
No context found.
S. B. Akers, "Binary Decision Diagrams," IEEE Trans. on Computers, Vol. 27, pp. 509-516, 1978.
Genetic Algorithms for the Variable Ordering Problem - Of Binary Decision (Correct)
No context found.
Akers, S.B., Binary Decision Diagrams, IEEE Trans. on Computers, Vol. C-27, 1978
Design Of Provably Correct Storage Arrays - Joshi Hwang Kuehlmann (2001) (Correct)
No context found.
S. B. Akers," Binary decision diagrams," IEEE Trans. Computers C-27, June 1978, pp. 509-516.
Verity - a Formal Verification Program for Custom CMOS.. - Andreas Kuehlmann Arvind (1994) (12 citations) (Correct)
No context found.
S. B. Akers, "Binary decision diagrams," IEEE Transactions on Computers, vol. 27, pp. 509--516, June 1978.
Hierarchical Test Generation with Multi-Level Decision.. - Jervan, Markus, Raik.. (1998) (Correct)
No context found.
S. B. Akers, "Binary Decision Diagrams", IEEE Trans. on Comp., Vol.27, pp.509-516, 1978.
High-Level Test Synthesis from Behavioral Descriptions - Gert Jervan Petru (Correct)
No context found.
S.B.Akers, "Binary Decision Diagrams", IEEE Trans. Computers, Vol. 27, pp.509-516, June 1978.
Turbo Tester: A Cad System For Teaching Digital Test - Jervan Markus Paomets (1998) (Correct)
No context found.
S.B. Akers, "Binary Decision Diagrams", IEEE Trans. on Computers, Vol. 27, pp.509-516, 1978.
A Constraint-Driven Gate-Level Test Generator - Jaan Raik Raimund (1996) (Correct)
No context found.
B. Akers. Binary Decision Diagrams. IEEE Trans. On Computers, Vol. 27, pp. 509-516, 1978.
Cad Software for Digital Test and Diagnostics - Jervan, Markus, Paomets, Raik, .. (Correct)
No context found.
S.B.Akers, Binary Decision Diagrams. IEEE Trans. on Computers. Vol. 27, pp. 509-516, (1978).
Test Synthesis from Register-Transfer Level Descriptions - Raik, Paomets (1996) (Correct)
No context found.
B. Akers. Binary Decision Diagrams. IEEE Trans. on Computers, Vol. 27, pp. 509-516, 1978.
A PC-Based CAD System for Training Digital Test - Ubar, Buldas, Paomets, Raik.. (1994) (Correct)
No context found.
Akers, S.B. Binary decision diagrams. IEEE Trans. on Computers. Vol. 27, pp. 509-516, 1978.
Fast Test Pattern Generation for Sequential Circuits Using.. - Raik, Ubar (2000) (1 citation) (Correct)
No context found.
S.B. Akers, "Binary Decision Diagrams," IEEE Trans. Computers, Vol. 27, pp. 509--516, June 1978.
A Decision Diagram based Hierarchical Test Pattern Generator - Jervan Markus Raik (Correct)
No context found.
S. B. Akers, "Binary Decision Diagrams", IEEE Trans. on Comp., Vol.27, pp.509-516, 1978.
For Combinational Logic Synthesis - Approved By Dr (Correct)
No context found.
S. B. Akers. Binary Decision Diagrams. IEEE Trans. Comp., vol. C-27, no. 6:509--516, June 1978. 128
Rough Set Data Representation Using Binary Decision Diagrams - Muir, Düntsch, Gediga (2004) (Correct)
No context found.
S.B. Akers (1978). Binary Decision Diagrams. IEEE Transactions on Computers, C-27(6).
Graph-Based Algorithms for Boolean Function Manipulation - Bryant (1986) (1659 citations) (Correct)
No context found.
S.B. Akers, "Binary Decision Diagrams", IEEE Transactions on Computers, Vol. C-27, No. 6, June 1978, pp. 509-516.
Techniques for the Creation of Digital Watermarks in Sequential.. - Oliveira (2001) (1 citation) (Correct)
No context found.
S. Akers, "Binary decision diagrams," IEEE Trans. Comput., vol. C-27, pp. 509--516, June 1978.
An Analysis of U.S. Patent #5,243,538 "Comparison and.. - Bryant (1994) (Correct)
No context found.
S. B. Akers, "Binary Decision Diagrams," IEEE Transactions on Computers, Vol. C-27, No. 6 (June, 1978), pp. 509--516.
On the Complexity of VLSI Implementations and Graph.. - Bryant (1998) (159 citations) (Correct)
No context found.
S. B. Akers, "Binary Decision Diagrams", IEEE Transactions on Computers, Vol. C-27, No. 6 (August, 1978), pp. 509--516.
If-Diagrams: Theory and Application - Anatoly Prihozhy State (Correct)
No context found.
Akers B., Binary Decision Diagrams, IEEE Trans. on Comp., Vol C-27, June 1978, pp 509-516.
Symbolic Manipulation of Boolean Functions Using a Graphical.. - Bryant (1985) (28 citations) (Correct)
No context found.
S.B. Akers, "Binary Decision Diagrams", IEEE Transactions on Computers, Vol. C-27, No. 6, June 1978, pp. 509-516.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC