Conference paper

 
Sekanina, L., Vašíček, Z.: A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits, In: Proc. of the 2012 Design, Automation and Test in Europe, Dresden, DE, EDAA, 2012, p. 715-720, ISBN 978-1-4577-2145-8
Publication language:english
Original title:A SAT-based Fitness Function for Evolutionary Optimization of Polymorphic Circuits
Title (cs):Fitness funkce využívající SAT solver pro evoluční optimalizaci polymorfních obvodů
Pages:715-720
Proceedings:Proc. of the 2012 Design, Automation and Test in Europe
Conference:Design, Automation and Test in Europe 2012
Place:Dresden, DE
Year:2012
ISBN:978-1-4577-2145-8
Publisher:European Design and Automation Association
URL:http://www.date-conference.com/proceedings/ [HTML]
Files: 
+Type Name +Title Size Modified
icondate2012sat_poly.pdf277 KB2012-03-16 23:27:12
^ Select all
With selected:
Keywords
multifunction logic, logic synthesis, genetic programming
Annotation
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. 
BibTeX:
@INPROCEEDINGS{
   author = {Lukáš Sekanina and Zdeněk Vašíček},
   title = {A SAT-based Fitness Function for Evolutionary Optimization
	of Polymorphic Circuits},
   pages = {715--720},
   booktitle = {Proc. of the 2012 Design, Automation and Test in Europe},
   year = {2012},
   location = {Dresden, DE},
   publisher = {European Design and Automation Association},
   ISBN = {978-1-4577-2145-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9750}
}