A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F12%3APU98160" target="_blank" >RIV/00216305:26230/12:PU98160 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/DATE.2012.6176563" target="_blank" >http://dx.doi.org/10.1109/DATE.2012.6176563</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/DATE.2012.6176563" target="_blank" >10.1109/DATE.2012.6176563</a>
Alternative languages
Result language
angličtina
Original language name
A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits
Original language description
Multifunctional (or polymorphic) gates have been utilized as building blocks for multifunctional circuits that are capable of performing various logic functions under different settings of control signals. In order to effectively synthesize the polymorphic circuits, several methods have been developed in the recent years. Unfortunately, the methods are applicable for small circuits only. In this paper, we propose a SAT-based functional equivalence checking algorithm to eliminate the fitness evaluation time which is the most critical overhead for genetic programming-based design and optimization of complex polymorphic circuits. The proposed approach has led to a 30% reduction of gates with respect to the solutions created using the polymorphic multiplexing combined with the optimization conducted by the ABC tool.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proc. of the 2012 Design, Automation and Test in Europe
ISBN
978-1-4577-2145-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
715-720
Publisher name
European Design and Automation Association
Place of publication
Dresden
Event location
Dresden
Event date
Mar 12, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—