Functional simulation using Binary Decision Diagrams

被引：0
|
作者：
Scholl, C
Drechsler, R
Becker, B
机构：
来源：
1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS | 1997年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In many verification techniques fast functional evaluation of a Boolean network is needed, We investigate the idea of using Binary Decision Diagrams (BDDs) far functional simulation. The area-time trade-off that results from different minimization techniques of the BDD is discussed. We propose new minimization methods based on dynamic reordering that all our smaller representations vith (nearly) no runtime penalty.
引用
收藏
页码：8 / 12
页数：5
相关论文
共 50 条
  • [1] FUNCTIONAL TESTING WITH BINARY DECISION DIAGRAMS
    AKERS, SB
    JOURNAL OF DESIGN AUTOMATION & FAULT-TOLERANT COMPUTING, 1978, 2 (04): : 311 - 331
  • [2] FUNCTIONAL TEST GENERATION USING BINARY DECISION DIAGRAMS.
    Abadir, M.S.
    Reghbati, H.K.
    Computers & mathematics with applications, 1987, 13 (5-6): : 413 - 430
  • [3] FUNCTIONAL TEST-GENERATION USING BINARY DECISION DIAGRAMS
    ABADIR, MS
    REGHBATI, HK
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1987, 13 (5-6) : 413 - 430
  • [4] FUNCTIONAL TESTING WITH BINARY DECISION DIAGRAMS.
    Akers, Sheldon B.
    1978, 2 (04): : 311 - 331
  • [5] Factorization using binary decision diagrams
    Raddum, Havard
    Varadharajan, Srimathi
    CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES, 2019, 11 (03): : 443 - 460
  • [6] Factorization using binary decision diagrams
    Håvard Raddum
    Srimathi Varadharajan
    Cryptography and Communications, 2019, 11 : 443 - 460
  • [7] GENETIC ALGORITHM FOR BINARY AND FUNCTIONAL DECISION DIAGRAMS OPTIMIZATION
    Stojkovic, Suzana
    Velickovic, Darko
    Moraga, Claudio
    FACTA UNIVERSITATIS-SERIES ELECTRONICS AND ENERGETICS, 2018, 31 (02) : 169 - 187
  • [8] Timing simulation of digital circuits with binary decision diagrams
    Ubar, R
    Jutman, A
    Peng, Z
    DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 460 - 466
  • [9] Outlier detection using binary decision diagrams
    Kutsuna, Takuro
    Yamamoto, Akihiro
    DATA MINING AND KNOWLEDGE DISCOVERY, 2017, 31 (02) : 548 - 572
  • [10] Terminal reliability using binary decision diagrams
    Singh, H
    Vaithilingam, S
    Anne, RK
    Anneberg, L
    MICROELECTRONICS AND RELIABILITY, 1996, 36 (03): : 363 - 365
12345