1986
DOI: 10.1109/tc.1986.1676774
|View full text |Cite
|
Sign up to set email alerts
|

Functional Test Generation for Digital Circuits Described Using Binary Decision Diagrams

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
9
0

Year Published

1995
1995
2018
2018

Publication Types

Select...
3
3
3

Relationship

0
9

Authors

Journals

citations
Cited by 29 publications
(9 citation statements)
references
References 15 publications
0
9
0
Order By: Relevance
“…The overall results of the case study were quite promising and we are convinced that our approach is a viable and effective way for generating tests for LSI circuits [12,13,14,15]. We believe that the test generation procedure and the test simplification technique can both be automated without much difficulty.…”
Section: Vll Summarymentioning
confidence: 83%
“…The overall results of the case study were quite promising and we are convinced that our approach is a viable and effective way for generating tests for LSI circuits [12,13,14,15]. We believe that the test generation procedure and the test simplification technique can both be automated without much difficulty.…”
Section: Vll Summarymentioning
confidence: 83%
“…Binary decision diagrams (BDD's) [2], [9] have been used for synthesizing and analyzing combinational as well as sequential circuits [1], [4], [5], [7], [8], [15]. We have shown [11] that BDD's are not well suited for synthesizing area-efficient PTL networks.…”
Section: A Backgroundmentioning
confidence: 99%
“…• Each node in the 123-DD has a unique number as its Node_id. 1 It will be clear later that we use the term edge when the edge connects exactly two nodes and the term hyperedge for situations where m (m >=2) nodes are connected. • If two or more nonterminal nodes are connected by a dashed line, the dashed line represents a hyperedge and denotes the fact that the corresponding nodes are connected by a metal line.…”
Section: B 123-decision Diagram Modelmentioning
confidence: 99%
“…Binary Decision Diagrams (BDDs) [1]- [3] are a well established data structure for this purpose. BDDs are employed in many EDA applications, such as digital circuits synthesis [4], verification [5], testing [6], simulation [7], and others. Original BDDs are driven by the Shannon's expansion to decompose a Boolean function until the constant logic values are encountered.…”
Section: Introductionmentioning
confidence: 99%