Good input ordering for circuit verification based on binary decision diagrams

被引：0
|
作者：
Saucier, G.
Poirot, F.
机构：
来源：
EURO ASIC | 1991年
关键词：
D O I：
10.1109/EUASIC.1991.212832
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Cost-based abduction using binary decision diagrams
    Kato, S
    Oono, S
    Seki, H
    Itoh, H
    MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS, 1999, 1611 : 215 - 225
  • [42] EXACT CALCULATION OF SYNCHRONIZING SEQUENCES BASED ON BINARY DECISION DIAGRAMS
    PIXLEY, C
    JEONG, SW
    HACHTEL, GD
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (08) : 1024 - 1034
  • [43] Medical Image Compression Based on Ordered Binary Decision Diagrams
    Sun, Ziguang
    Li, Chungui
    Wang, Qin
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL I, 2009, : 373 - +
  • [44] Variable ordering for decision diagrams: A portfolio approach
    Anthony Karahalios
    Willem-Jan van Hoeve
    Constraints, 2022, 27 : 116 - 133
  • [45] Variable ordering for decision diagrams: A portfolio approach
    Karahalios, Anthony
    van Hoeve, Willem-Jan
    CONSTRAINTS, 2022, 27 (1-2) : 116 - 133
  • [46] On the Width of Ordered Binary Decision Diagrams
    Bollig, Beate
    COMBINATORIAL OPTIMIZATION AND APPLICATIONS (COCOA 2014), 2014, 8881 : 444 - 458
  • [47] ON THE COMPUTATIONAL POWER OF BINARY DECISION DIAGRAMS
    SAWADA, H
    TAKENAGA, Y
    YAJIMA, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1994, E77D (06) : 611 - 618
  • [48] Binary decision diagrams on network of workstations
    Ranjan, RK
    Sanghavi, JV
    Brayton, RK
    SangiovanniVincentelli, A
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 358 - 364
  • [49] The variable ordering of binary decision diagram based on Genetic Algorithm
    Li, XY
    Chen, GJ
    ICEMI'99: FOURTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 1999, : 920 - 924
  • [50] Factorization using binary decision diagrams
    Raddum, Havard
    Varadharajan, Srimathi
    CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES, 2019, 11 (03): : 443 - 460
12345