Creating hard problem instances in logic synthesis using exact minimization

被引：0

作者：

Günther, W ^{[1
]}

Drechsler, R ^{[1
]}

机构：

[1] Univ Freiburg, Inst Comp Sci, D-79110 Freiburg, Germany

来源：

ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 6: CIRCUITS ANALYSIS, DESIGN METHODS, AND APPLICATIONS | 1999年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

To evaluate synthesis algorithms, usually benchmark circuits are used Since for these circuits no exact synthesis results are known, we propose the use of exact minimization to generate hard problem instances. By this we evaluate a standard synthesis tool on different classes of circuits.

引用

页码：436 / 439

页数：4

共 50 条

[31] SYMBOLIC MINIMIZATION OF MULTILEVEL LOGIC AND THE INPUT ENCODING PROBLEM
MALIK, S
LAVAGNO, L
BRAYTON, RK
SANGIOVANNIVINCENTELLI, A
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (07) : 825 - 843
[32] Full-Lock: Hard Distributions of SAT instances for Obfuscating Circuits using Fully Configurable Logic and Routing Blocks
Kamali, Hadi Mardani
Azar, Kimia Zamiri
Homayoun, Houman
Sasan, Avesta
PROCEEDINGS OF THE 2019 56TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2019,
[33] A Black-Box Sensitization Attack on SAT-Hard Instances in Logic Obfuscation
McDaniel, Isaac
Zuzak, Michael
Srivastava, Ankur
2022 IEEE 40TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2022), 2022, : 239 - 246
[34] Exact Algorithms for Practical Instances of the Railcar Loading Problem at Marine Container Terminals
Ng, ManWo
Dung-Ying Lin
JOURNAL OF ADVANCED TRANSPORTATION, 2022, 2022
[35] Logic minimization using exclusive OR gates
Ciriani, V
38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 115 - 120
[36] On Logic Synthesis of Conventionally Hard to Synthesize Circuits Using Genetic Programming
Fiser, Petr
Schmidt, Jan
Vasicek, Zdenek
Sekanina, Lukas
PROCEEDINGS OF THE 13TH IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2010, : 346 - 351
[37] Global Minimization of an Infinite Collection of Instances of the Total Annualized Cost Problem for Compressor Sequences
Conner, Jeremy A.
Manousiouthakis, Vasilios I.
INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2015, 54 (06) : 1861 - 1875
[38] Approximate and exact algorithms for an energy minimization traveling salesman problem
Wang, Shijin
Liu, Ming
Chu, Feng
JOURNAL OF CLEANER PRODUCTION, 2020, 249
[39] Circuit Minimization with QBF-Based Exact Synthesis
Reichl, Franz-Xaver
Slivovsky, Friedrich
Szeider, Stefan
THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, : 4087 - 4094
[40] Efficient exact two-level hazard-free logic minimization
Myers, C
Jacobson, H
SEVENTH INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 2001, : 64 - 73

← 1 2 3 4 5 →