Pages that link to "Item:Q5096806"
From MaRDI portal
The following pages link to Synthesis for testability: Binary Decision Diagrams (Q5096806):
Displaying 3 items.
- Gate-delay-fault testability properties of multiplexor-based networks (Q685105) (← links)
- Construction of the tests of combinational circuit failures by analyzing the orthogonal disjunctive normal forms represented by the alternative graphs (Q2487498) (← links)
- A BDD-based verification method for large synthesized circuits (Q3840902) (← links)