Possible Reductions to Generate circuits from BDDs

被引：1
|
作者：
Brandao, Eduarde D. [1 ]
Nespolo, Joao P. [1 ]
Peralta, Renato D. [1 ]
Butzen, Paulo F. [2 ]
Reis, Andre I. [1 ]
机构：
[1] UFRGS Univ Fed Rio Grande do Sul, PPGC Inst Informat, Porto Alegre, RS, Brazil
[2] UFRGS Univ Fed Rio Grande do Sul, Sch Engn, Porto Alegre, RS, Brazil
来源：
2022 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2022) | 2022年
关键词：
Digital circuits; BDDs - Binary Decision Diagrams; multiplexer circuits; AIGs - And Inverter Graphs;
D O I：
10.1109/ISVLSI54635.2022.00091
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a systematic way to derive digital circuits from Binary Decision Diagrams (BDDs). It is well known that BDD nodes correspond to the Shannon decomposition, which can be implemented with a multiplexer. A multiplexer will result in three And-Inverter-Graph (AIG) nodes. However, simplifications may apply. This paper identifies eight different possible simplifications to the general multiplexer case. We demonstrate that applying these simplifications results in smaller AIGs derived from BDDs.
引用
收藏
页码：406 / 409
页数：4
相关论文
共 50 条
  • [41] Large reductions are possible in older driver crashes at intersections
    Samuel, Siby
    Yamani, Yusuke
    Fisher, Donald L.
    CLINICAL AND EXPERIMENTAL OPTOMETRY, 2016, 99 (05) : 419 - 424
  • [42] Recombination events: A possible mechanism to generate new alleles
    Garino, E
    Berrino, M
    Bertinetto, F
    Caropreso, P
    Frisaldi, E
    Mazzola, G
    Panniello, ML
    Tondat, F
    Gay, V
    Fagioli, F
    Dall'Omo, AM
    GENES AND IMMUNITY, 2004, 5 : S23 - S23
  • [43] Possible Emission Reductions From Ride-Sourcing Travel in a Global Megacity: The Case of Beijing
    Xue, Meimei
    Yu, Biying
    Du, Yunfei
    Wang, Bin
    Tang, Baojun
    Wei, Yi-Ming
    JOURNAL OF ENVIRONMENT & DEVELOPMENT, 2018, 27 (02): : 156 - 185
  • [44] A graph approach to generate all possible regression submodels
    Gatu, Cristian
    Yanev, Petko L.
    Kontoghiorghesc, Erricos J.
    COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2007, 52 (02) : 799 - 815
  • [45] An Intelligent System to Generate Possible Job List for Freelancers
    Hossain, Md Sabir
    Arefin, Mohammad Shamsul
    ADVANCES IN COMPUTING AND INTELLIGENT SYSTEMS, ICACM 2019, 2020, : 311 - 325
  • [46] INTEGRATED CIRCUITS FROM MOBILE PHONES AS POSSIBLE EMERGENCY OSL/TL DOSEMETERS
    Sholom, S.
    McKeever, S. W. S.
    RADIATION PROTECTION DOSIMETRY, 2016, 170 (1-4) : 398 - 401
  • [47] Mutual Coupling Reductions of Dielectric Resonator Antennas without Extra Circuits
    Mei, Peng
    Pedersen, Gert Frolund
    Zhang, Shuai
    2023 17TH EUROPEAN CONFERENCE ON ANTENNAS AND PROPAGATION, EUCAP, 2023,
  • [48] Reductions in tension of triphase apparatus debiting one of the dissymmetric circuits.
    Blondel, A
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1930, 190 : 991 - 996
  • [49] Learning from BDDs in SAT-based bounded model checking
    Gupta, A
    Ganai, M
    Chao, W
    Yang, ZJ
    Ashar, P
    40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 824 - 829
  • [50] Spinal Circuits That Generate Multiple Kinds of Rhythmic Limb Movements in Turtles
    Berkowitz, A.
    Hao, Z. -Z
    INTEGRATIVE AND COMPARATIVE BIOLOGY, 2011, 51 : E10 - E10
12345