Experimental study of algorithms for minimization of binary decision diagrams using algebraic representations of cofactors

DOI10.1134/s0361768823040035OpenAlexW4385342879MaRDI QIDQ6094421

P. N. Bibilo, V. I. Romanov

Publication date: 13 September 2023

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768823040035

zbMATH Keywords

VLSIdisjunctive normal formbinary decision diagramVHDLShannon expansiondigital logic synthesissystem of Boolean functions

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Boolean functions (06E30) Switching theory, applications of Boolean algebras to circuits and networks (94C11)

Cites Work

• Finding All the Elementary Circuits of a Directed Graph
• Unnamed Item
• Unnamed Item