Using ordered binary decision diagrams to factorize multi-level logic

DOI10.1007/BF01182592zbMath0861.94037OpenAlexW1978330184MaRDI QIDQ1922609

Ruey-Tzer Liaw, Pei-Yung Hsiao, Jeong-Yuan Su

Publication date: 1 September 1996

Published in: Circuits, Systems, and Signal Processing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01182592

zbMATH Keywords

ordered binary decision diagramsmulti-level logic functions

Mathematics Subject Classification ID

Applications of graph theory to circuits and networks (94C15)

Cites Work

• Global Flow Analysis in Automatic Logic Design
• Graph-Based Algorithms for Boolean Function Manipulation

This page was built for publication: Using ordered binary decision diagrams to factorize multi-level logic