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 条

[31] Mahler measures generate the largest possible groups
Dubickas, A
MATHEMATICAL RESEARCH LETTERS, 2004, 11 (2-3) : 279 - 283
[32] Will it be possible to generate kidney tissue from induced pluripotent stem cells for regenerative therapy?
Osafune, Kenji
REGENERATIVE MEDICINE, 2014, 9 (01) : 9 - 12
[33] Component reductions in oxygen delivery generate variable haemodynamic and stress hormone responses
Dyson, A.
Ekbal, N.
Stotz, M.
Barnes, S.
Carre, J.
Tully, S.
Henderson, S.
Barrett, L.
Singer, M.
BRITISH JOURNAL OF ANAESTHESIA, 2014, 113 (04) : 708 - 716
[34] Disjoint support decompositions from BDDs through symbolic kernels
Plaza, Stephen
Bertacco, Valeria
ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 276 - 279
[35] The world according to zebrafish: how neural circuits generate behavior
Sumbre, German
de polavieja, Gonzalo G.
FRONTIERS IN NEURAL CIRCUITS, 2014, 8
[36] A novel technique to generate fine resolution hysteresis in decision circuits
Hamed, HM
Salama, AE
Zaghloul, M
Proceedings of the 46th IEEE International Midwest Symposium on Circuits & Systems, Vols 1-3, 2003, : 1392 - 1395
[37] BONY: An algorithm to generate large synthetic combinational benchmark circuits
Talukdar, Priyankar
2015 19TH INTERNATIONAL SYMPOSIUM ON VLSI DESIGN AND TEST (VDAT), 2015,
[38] POSSIBLE OZONE REDUCTIONS AND UV CHANGES AT THE EARTHS SURFACE
PYLE, JA
DERWENT, RG
NATURE, 1980, 286 (5771) : 373 - 375
[39] Possible background reductions in double beta decay experiments
Arnold, R
Augier, C
Baker, J
Barabash, AS
Bing, O
Brudanin, V
Caffrey, AJ
Caurier, E
Errahmane, K
Etienvre, AI
Guyonnet, JL
Hubert, F
Hubert, P
Jollet, C
Jullian, S
Kochetov, O
Kovalenko, V
Lalanne, D
Leccia, F
Longuemare, C
Marquet, C
Mauger, F
Nicholson, HW
Ohsumi, H
Piquemal, F
Reyss, JL
Sarazin, X
Shitov, Y
Simard, L
Stekl, I
Suhonen, J
Sutton, CS
Szklarz, G
Timkin, V
Tretyak, V
Umatov, V
Vála, L
Vanyushin, I
Vasilyev, V
Vorobel, V
Vylov, T
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2003, 503 (03): : 649 - 657
[40] Note on the possible cost reductions in the Tunisian dairy industry
Aoun, A
Thabet, C
PROSPECTS FOR A SUSTAINABLE DAIRY SECTOR IN THE MEDITERRANEAN, 2002, (99): : 421 - 424

← 1 2 3 4 5 →