Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F15%3APU116942" target="_blank" >RIV/00216305:26230/15:PU116942 - isvavai.cz</a>

Result on the web

<a href="http://www.fit.vutbr.cz/research/pubs/all.php?id=10773" target="_blank" >http://www.fit.vutbr.cz/research/pubs/all.php?id=10773</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-16501-1_12" target="_blank" >10.1007/978-3-319-16501-1_12</a>

Result language

angličtina

Original language name

Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates

Original language description

A new approach to the evolutionary optimization of large digital circuits is introduced in this paper. In contrast with evolutionary circuit design, the goal of the evolutionary circuit optimization is to minimize the number of gates (or other non-functional parameters) of already functional circuit. The method combines a circuit simulation with a formal verification in order to detect the functional inequivalence of the parent and its offspring. An extensive set of 100 benchmarks circuits is used to evaluate the performance of the method as well as the utilized evolutionary approach. Moreover, the role of neutral mutations in the context of evolutionary optimization is investigated. In average, the method enabled a 34% reduction in gate count even if the optimizer was executed only for 15 minutes.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA14-04197S" target="_blank" >GA14-04197S: Advanced Methods for Evolutionary Design of Complex Digital Circuits</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2015

Confidentiality

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

Article name in the collection

Genetic Programming, 18th European Conference, EuroGP 2015

ISBN

978-3-319-16500-4

ISSN

—

e-ISSN

—

Number of pages

12

Pages from-to

139-150

Publisher name

Springer International Publishing

Place of publication

Berlin

Event location

Kodaň

Event date

Apr 8, 2015

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000361758600012