Integer linear programming-based synthesis of skewed logic circuits

被引：2

作者：

Cao, A ^{[1
]}

Sirisantana, N ^{[1
]}

Koh, CK ^{[1
]}

Roy, K ^{[1
]}

机构：

[1] Purdue Univ, Sch Elect & Comp Engn, W Lafayette, IN 47907 USA

来源：

ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE | 2003年

关键词：

D O I：

10.1109/ASPDAC.2003.1195131

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We present an integer linear programming-based approach for solving the logic reconvergence problem in skewed logic circuits with minimal logic duplication cost. A simplification technique is applied to reduce the complexity of the ILP problem greatly so that the run time is more affordable. Experimental results show that an average of 18% of original gates are duplicated in skewed logic circuits, whereas 65% in Domino logic circuits are duplicated. The average power saving over Domino logic circuits is 40.9%.

引用

页码：820 / 823

页数：4

共 50 条

[1] Progress in linear programming-based algorithms for integer programming: An exposition
Johnson, EL
Nemhauser, GL
Savelsbergh, MWP
[J]. INFORMS JOURNAL ON COMPUTING, 2000, 12 (01) : 2 - 23
[2] Mixed integer linear programming-based optimal topology synthesis of cascaded crossbar switches
Jun, Minje
Yoo, Sungjoo
Chung, Eui-Young
[J]. 2008 ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2008, : 543 - +
[3] Synthesis of skewed logic circuits
Cao, AQ
Sirisantana, N
Koh, CK
Roy, K
[J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2005, 10 (02) : 205 - 228
[4] Integer Linear Programming-Based Scheduling for Transport Triggered Architectures
Aijo, Tomi
Jaaskelainen, Pekka
Elomaa, Tapio
Kultala, Heikki
Takala, Jarmo
[J]. ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2016, 12 (04)
[5] An integer linear programming-based tool for wireless sensor networks
Kadayif, I
Kandemir, A
Vijaykrishnan, N
Irwin, MJ
[J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2005, 65 (03) : 247 - 260
[6] An Integer Linear Programming-Based Method for the Extraction of Ontology Alignment
El Ghandour, Naima
Benaissa, Moussa
Lebbah, Yahia
[J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2021, 16 (02) : 25 - 44
[7] Genetic Programming With Mixed-Integer Linear Programming-Based Library Search
Quang Nhat Huynh
Chand, Shelvin
Singh, Hemant Kumar
Ray, Tapabrata
[J]. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2018, 22 (05) : 733 - 747
[8] Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
Leue, Stefan
Wei, Wei
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (02) : 216 - 236
[9] Integer Linear Programming-Based Simultaneous Scheduling and Binding for SiLago Framework
Pudi, Dhilleswararao
Malviya, Shivam
Boppu, Srinivas
Yang, Yu
Hemani, Ahmed
Cenkeramaddi, Linga Reddy
[J]. IEEE ACCESS, 2024, 12 : 124081 - 124094
[10] Linear and Integer Programming-Based Heuristics for Cost-Optimal Numeric Planning
Piacentini, Chiara
Castro, Margarita P.
Cire, Andre A.
Beck, J. Christopher
[J]. THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 6254 - 6261

← 1 2 3 4 5 →