Variable reordering for shared binary decision diagrams using output probabilities

被引：0

作者：

Thornton, MA ^{[1
]}

Williams, JP ^{[1
]}

Drechsler, R ^{[1
]}

Drechsler, N ^{[1
]}

机构：

[1] Univ Arkansas, Dept Comp Engn, Fayetteville, AR 72701 USA

来源：

DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS | 1999年

关键词：

D O I：

10.1109/DATE.1999.761217

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The Shared Binary Decision Diagram (SBDD) with negative edge attributes can represent many functions in a compact form ifa proper variable ordering is used. In this work we describe a technique for reordering the variables in an SBDD to reduce the size of the data stucture. We use a heuristic to formulate a technique for the reordering problem based on probability metrics.

引用

页码：758 / 759

页数：2

共 50 条

[1] An Enhanced Algorithm for Variable Reordering in Binary Decision Diagrams
Varma, Chaitanya
2018 9TH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATION AND NETWORKING TECHNOLOGIES (ICCCNT), 2018,
[2] A variable reordering method for fast optimization of binary decision diagrams
Song, MB
Chang, H
SIXTH ASIAN TEST SYMPOSIUM (ATS'97), PROCEEDINGS, 1997, : 228 - 233
[3] Implicit Permutation Enumeration Networks and Binary Decision Diagrams Reordering
Stergiou, Stergios
PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 615 - 620
[4] Shared multi-terminal binary decision diagrams for multiple-output functions
Babu, HMH
Sasao, T
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1998, E81A (12): : 2545 - 2553
[5] Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators
Abdalhaq, Baker K.
Awad, Ahmed
Hawash, Amjad
IEEE ACCESS, 2020, 8 (08): : 156001 - 156016
[6] Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams
Khadiev, Kamil
Khadieva, Aliya
COMPUTER SCIENCE - THEORY AND APPLICATIONS (CSR 2017), 2017, 10304 : 162 - 175
[7] Bi-partition of shared binary decision diagrams
Matsuura, M
Sasao, T
Butler, JT
Iguchi, Y
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2002, E85A (12) : 2693 - 2700
[8] Variable ordering for shared binary decision diagrams targeting node count and path length optimisation using particle swarm technique
Mitra, A.
Chattopadhyay, S.
IET COMPUTERS AND DIGITAL TECHNIQUES, 2012, 6 (06): : 353 - 361
[9] Evolving binary decision diagrams with emergent variable orderings
Downing, Richard M.
PARALLEL PROBLEM SOLVING FROM NATURE - PPSN IX, PROCEEDINGS, 2006, 4193 : 798 - 807
[10] FINDING THE OPTIMAL VARIABLE ORDERING FOR BINARY DECISION DIAGRAMS
FRIEDMAN, SJ
SUPOWIT, KJ
IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (05) : 710 - 713

← 1 2 3 4 5 →