Publication Details

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

SEKANINA, L.; VAŠÍČEK, Z. A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits. Proc. of the 2012 Design, Automation and Test in Europe. Dresden: European Design and Automation Association, 2012. p. 715-720. ISBN: 978-1-4577-2145-8.
Czech title
Fitness funkce využívající SAT solver pro evoluční optimalizaci polymorfních obvodů
Type
conference paper
Language
English
Authors
Sekanina Lukáš, prof. Ing., Ph.D. (DCSY)
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY)
URL
Keywords

multifunction logic, logic synthesis, genetic programming

Abstract

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. 

Published
2012
Pages
715–720
Proceedings
Proc. of the 2012 Design, Automation and Test in Europe
Conference
Design, Automation and Test in Europe 2012, Dresden, DE
ISBN
978-1-4577-2145-8
Publisher
European Design and Automation Association
Place
Dresden
DOI
10.1109/DATE.2012.6176563
BibTeX 
@inproceedings{BUT91452,
  author="Lukáš {Sekanina} and Zdeněk {Vašíček}",
  title="A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits",
  booktitle="Proc. of the 2012 Design, Automation and Test in Europe",
  year="2012",
  pages="715--720",
  publisher="European Design and Automation Association",
  address="Dresden",
  doi="10.1109/DATE.2012.6176563",
  isbn="978-1-4577-2145-8",
  url="https://www.fit.vut.cz/research/publication/9750/"
}
Files
Back to top