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 条
  • [31] Fast binary image processing using binary decision diagrams
    Robert, L
    Malandain, G
    COMPUTER VISION AND IMAGE UNDERSTANDING, 1998, 72 (01) : 1 - 9
  • [32] Fast binary image processing using binary decision diagrams
    Robert, L
    Malandain, G
    1997 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, 1997, : 97 - 102
  • [33] Binary Decision Diagrams
    Somenzi, F
    CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 303 - 366
  • [34] BINARY DECISION DIAGRAMS
    AKERS, SB
    IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (06) : 509 - 516
  • [35] Decision diagrams using 2 variable nodes
    Oh, P.
    Almaini, A.E.A.
    WSEAS Transactions on Circuits and Systems, 2007, 6 (03): : 372 - 379
  • [36] Shared multiple-valued decision diagrams for multiple-output functions
    Babu, HMH
    Sasao, T
    1999 29TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1999, : 166 - 172
  • [37] A VECTOR ALGORITHM FOR MANIPULATING BOOLEAN FUNCTIONS BASED ON SHARED BINARY DECISION DIAGRAMS
    OCHI, H
    YAJIMA, S
    ISHIURA, N
    SUPERCOMPUTER, 1991, 8 (06): : 101 - 118
  • [38] Comparison of two new approaches to variable ordering for binary decision diagrams
    Bartlett, LM
    Andrews, JD
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2001, 17 (03) : 151 - 158
  • [39] MINIMUM-WIDTH METHOD OF VARIABLE ORDERING FOR BINARY DECISION DIAGRAMS
    MINATO, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (03) : 392 - 399
  • [40] Ordered and shared, linearly-independent, variable-pair decision diagrams
    Perkowski, M
    Jozwiak, L
    Drechsler, R
    Falkowski, B
    ICICS - PROCEEDINGS OF 1997 INTERNATIONAL CONFERENCE ON INFORMATION, COMMUNICATIONS AND SIGNAL PROCESSING, VOLS 1-3: THEME: TRENDS IN INFORMATION SYSTEMS ENGINEERING AND WIRELESS MULTIMEDIA COMMUNICATIONS, 1997, : 261 - 265
12345