Experimental study of algorithms for minimization of binary decision diagrams using algebraic representations of cofactors (Q6094421)
From MaRDI portal
scientific article; zbMATH DE number 7737127
Language | Label | Description | Also known as |
---|---|---|---|
English | Experimental study of algorithms for minimization of binary decision diagrams using algebraic representations of cofactors |
scientific article; zbMATH DE number 7737127 |
Statements
Experimental study of algorithms for minimization of binary decision diagrams using algebraic representations of cofactors (English)
0 references
13 September 2023
0 references
system of Boolean functions
0 references
disjunctive normal form
0 references
binary decision diagram
0 references
Shannon expansion
0 references
digital logic synthesis
0 references
VHDL
0 references
VLSI
0 references