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 条

[41] Logic program synthesis as problem reduction using combining forms
Hamfelt A.
Nilsson J.F.
Oldager N.
Automated Software Engineering, 2001, Kluwer Academic Publishers (08) : 167 - 193
[42] Hard handoff minimization using genetic algorithms
Chan, TM
Kwong, S
Man, KF
Tang, KS
SIGNAL PROCESSING, 2002, 82 (08) : 1047 - 1058
[43] Lossy compression of images using logic minimization
Augustine, J
Lynch, W
Wang, YK
Al-Khalili, AJ
TWELFTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1999, : 538 - 543
[44] Exact Logic Synthesis for Reversible Quantum-Flux-Parametron Logic
Fu, Rongliang
Chen, Olivia
Yoshikawa, Nobuyuki
Ho, Tsung-Yi
2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2023,
[45] Features Reduction Using Logic Minimization Techniques
Borowik, Grzegorz
Luba, Tadeusz
Zydek, Dawid
INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2012, 58 (01) : 71 - 76
[46] Multicamera pedestrian detection using logic minimization
Yan, Yuyao
Xu, Ming
Smith, Jeremy S.
Shen, Mo
Xi, Jin
PATTERN RECOGNITION, 2021, 112
[47] Generating hard test instances with known optimal solution for the rectilinear quadratic assignment problem
Palubeckis, G
JOURNAL OF GLOBAL OPTIMIZATION, 1999, 15 (02) : 127 - 156
[48] Lossless compression of images using logic minimization
Chaudhary, AK
Augustine, J
Jacob, J
INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL I, 1996, : 77 - 80
[49] Generating Hard Test Instances with Known Optimal Solution for the Rectilinear Quadratic Assignment Problem
G. Palubeckis
Journal of Global Optimization, 1999, 15 : 127 - 156
[50] A heuristic and an exact method for the gate matrix connection cost minimization problem
De Giovanni, L.
Massi, G.
Pezzella, F.
Pfetsch, M. E.
Rinaldi, G.
Ventura, P.
INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, 2013, 20 (05) : 627 - 643

← 1 2 3 4 5 →