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 条
  • [31] Partial binary decision diagrams
    Townsend, WJ
    Thornton, MA
    PROCEEDINGS OF THE THIRTY-FOURTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2002, : 422 - 425
  • [32] Equational binary decision diagrams
    Groote, JF
    van de Poll, J
    LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 161 - 178
  • [33] A CHARACTERIZATION OF BINARY DECISION DIAGRAMS
    CHAKRAVARTY, S
    IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (02) : 129 - 137
  • [34] Timed binary decision diagrams
    Li, ZC
    Zhao, YH
    Min, YH
    Brayton, RK
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1997, : 352 - 357
  • [35] Compressing Binary Decision Diagrams
    Hansen, Esben Rune
    Rao, S. Srinivasa
    Tiedemann, Peter
    ECAI 2008, PROCEEDINGS, 2008, 178 : 799 - +
  • [36] Improving the scalability of rule base verification using binary decision diagrams: An empirical study
    Mues, C
    Vanthienen, J
    KI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3238 : 381 - 395
  • [37] Variable ordering techniques for the application of Binary Decision Diagrams on PSA linked Fault Tree models
    Ibanez-LIano, C.
    Rauzy, A.
    Melendez, E.
    Nieto, F.
    SAFETY, RELIABILITY AND RISK ANALYSIS: THEORY, METHODS AND APPLICATIONS, VOLS 1-4, 2009, : 2051 - +
  • [38] A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications
    Iwasaki, Haruya
    Minato, Shin-ichi
    Zeugmann, Thomas
    2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 2007, : 85 - +
  • [39] MEASURING C PROGRAM COVERAGE BASED ON BINARY DECISION DIAGRAMS
    Shi Liang Xu Baowen Chen Lin Dept of Computer Science Eng Southeast University Nanjing ChinaJiangsu Institute of Software Quality Nanjing China Dept of Computer National University of Defense Technology Changsha China
    JournalofElectronics, 2005, (01) : 90 - 93
  • [40] MEASURING C PROGRAM COVERAGE BASED ON BINARY DECISION DIAGRAMS
    Shi Liang Xu Baowen Chen Lin (Dept of Computer Science & Eng.
    Journal of Electronics(China), 2005, (01) : 90 - 93
12345