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 条
  • [21] Binary Decision Diagrams
    Somenzi, F
    CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 303 - 366
  • [22] Variable ordering for ordered binary decision diagrams by a divide-and-conquer approach
    Yeh, FM
    Kuo, SY
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1997, 144 (05): : 261 - 266
  • [23] BINARY DECISION DIAGRAMS
    AKERS, SB
    IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (06) : 509 - 516
  • [24] An ordering heuristic for building binary decision diagrams from fault-trees
    Bouissou, M
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1996 PROCEEDINGS, 1996, : 208 - 214
  • [25] Evolution of binary decision diagrams for digital circuit design using genetic programming
    Sakanashi, H
    Higuchi, T
    Iba, H
    Kakazu, Y
    EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, 1997, 1259 : 470 - 481
  • [26] USING GENETIC ALGORITHMS FOR THE VARIABLE ORDERING OF REED-MULLER BINARY DECISION DIAGRAMS
    ALMAINI, AEA
    ZHUANG, N
    MICROELECTRONICS JOURNAL, 1995, 26 (05) : 471 - 480
  • [27] Using genetic algorithms for the variable ordering of Reed-Muller binary decision diagrams
    Almaini, A.E.A.
    Zhuang, N.
    Microelectronics Journal, 1995, 26 (05): : 471 - 480
  • [28] Principles for a judgement editor based on binary decision diagrams
    Aucher, Guillaume
    Berbinau, Jean
    Morin, Marie-Laure
    Journal of Applied Logics, 2019, 6 (05): : 781 - 813
  • [29] PRINCIPLES FOR A JUDGEMENT EDITOR BASED ON BINARY DECISION DIAGRAMS
    Aucher, Guillaume
    Berbinau, Jean
    Morin, Marie-Laure
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (05): : 781 - 813
  • [30] SOFTWARE RELIABILITY ANALYSIS BASED ON BINARY DIAGRAMS DECISION
    Cristescu, Marian
    Ciovica, Laurentiu
    Ciovica, Liviu
    Martin, Florin
    INTERNATIONAL CONFERENCE ON INFORMATICS IN ECONOMY, 2012, : 86 - +
12345