Pages that link to "Item:Q1606811"
From MaRDI portal
The following pages link to Application of BDDs in Boolean matching techniques for formal logic combinational verification (Q1606811):
Displaying 5 items.
- BDD-based decompositions of multiple output logic functions (Q620066) (← links)
- Efficient combinational verification using overlapping local BDDs and a hash table (Q698440) (← links)
- A New Look at BDDs for Pseudo-Boolean Constraints (Q3143578) (← links)
- A BDD-based verification method for large synthesized circuits (Q3840902) (← links)
- Formal Methods in Computer-Aided Design (Q5492975) (← links)