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 条
  • [21] Calculation of the paired Haar transform through shared binary decision diagrams
    Stankovic, M
    Falkowski, BJ
    Jankovic, D
    Stankovic, RS
    COMPUTERS & ELECTRICAL ENGINEERING, 2003, 29 (01) : 13 - 24
  • [22] Exponential separation between quantum and classical ordered binary decision diagrams, reordering method and hierarchies
    Kamil Khadiev
    Aliya Khadieva
    Alexander Knop
    Natural Computing, 2023, 22 : 723 - 736
  • [23] Exponential separation between quantum and classical ordered binary decision diagrams, reordering method and hierarchies
    Khadiev, Kamil
    Khadieva, Aliya
    Knop, Alexander
    NATURAL COMPUTING, 2023, 22 (04) : 723 - 736
  • [24] Outlier detection using binary decision diagrams
    Kutsuna, Takuro
    Yamamoto, Akihiro
    DATA MINING AND KNOWLEDGE DISCOVERY, 2017, 31 (02) : 548 - 572
  • [25] Terminal reliability using binary decision diagrams
    Singh, H
    Vaithilingam, S
    Anne, RK
    Anneberg, L
    MICROELECTRONICS AND RELIABILITY, 1996, 36 (03): : 363 - 365
  • [26] Outlier detection using binary decision diagrams
    Takuro Kutsuna
    Akihiro Yamamoto
    Data Mining and Knowledge Discovery, 2017, 31 : 548 - 572
  • [27] Bayesian analysis using binary decision diagrams
    Andrews, J. D.
    Ansell, J.
    Ma, P.
    Phillips, M.
    SAFETY AND RELIABILITY FOR MANAGING RISK, VOLS 1-3, 2006, : 855 - +
  • [28] Functional simulation using Binary Decision Diagrams
    Scholl, C
    Drechsler, R
    Becker, B
    1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1997, : 8 - 12
  • [29] Algebraic Attacks Using Binary Decision Diagrams
    Raddum, Havard
    Kazymyrov, Oleksandr
    CRYPTOGRAPHY AND INFORMATION SECURITY IN THE BALKANS, 2015, 9024 : 40 - 54
  • [30] Combinatorial optimization using binary decision diagrams
    Nishino, Masaaki
    Yasuda, Norihito
    Hirao, Tsutomu
    Minato, Shin-Ichi
    Nagata, Masaaki
    NTT Technical Review, 2015, 13 (11):
12345