A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits

Popis výsledku v původním jazyce

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. 

Název v anglickém jazyce

A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits

Popis výsledku anglicky

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. 

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proc. of the 2012 Design, Automation and Test in Europe

ISBN

978-1-4577-2145-8

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

715-720

Název nakladatele

European Design and Automation Association

Místo vydání

Dresden

Místo konání akce

Dresden

Datum konání akce

12. 3. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—