Breadth-first manipulation of SBDD of Boolean functions for vector processing

Authors:
Hiroyuki Ochi;Nagisa Ishiura;Shuzo Yajima
Affiliations:
Department of Information Science, Faculty of Engineering, Kyoto University, Kyoto 606, Japan;Department of Information Science, Faculty of Engineering, Kyoto University, Kyoto 606, Japan;Department of Information Science, Faculty of Engineering, Kyoto University, Kyoto 606, Japan
Venue:
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Year:
1991

Symbolic Boolean manipulation with ordered binary-decision diagrams

ACM Computing Surveys (CSUR)
Edge-valued binary decision diagrams for multi-level hierarchical verification

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Breadth-first manipulation of very large binary-decision diagrams

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Parallel breadth-first BDD construction

PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Fast and Efficient Construction of BDDs by Reordering Based Synthesis

EDTC '97 Proceedings of the 1997 European conference on Design and Test
Multi-Core BDD Operations for Symbolic Reachability

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00