Prof. Ing. Lukáš Sekanina, Ph.D.

VAŠÍČEK Zdeněk and SEKANINA Lukáš. A Global Postsynthesis Optimization Method for Combinational Circuits. In: Proc. of the Design, Automation and Test in Europe DATE 2011. Grenoble: European Design and Automation Association, 2011, pp. 1525-1528. ISBN 978-3-9810801-7-9.
Publication language:english
Original title:A Global Postsynthesis Optimization Method for Combinational Circuits
Title (cs):Metoda pro globální post-syntézní optimalizaci kombinačních obvodů
Pages:1525-1528
Proceedings:Proc. of the Design, Automation and Test in Europe DATE 2011
Conference:Design, Automation and Test in Europe 2011
Place:Grenoble, FR
Year:2011
ISBN:978-3-9810801-7-9
Publisher:European Design and Automation Association
URL:http://www.date-conference.com/proceedings/ [HTML]
Files: 
+Type Name Title +Size Last modified
iconIP5_08.PDF146 KB2011-03-21 13:31:44
^ Select all
With selected:
Keywords
logic synthesis, genetic programming, SAT solver
Annotation
A genetic programming-based circuit synthesis method is proposed that enables to globally optimize the number of gates in circuits that have already been synthesized using common methods such as ABC and SIS. The main contribution is a proposal for a new fitness function that enables to significantly reduce the fitness evaluation time in comparison to the state of the art. The fitness function performs optimized equivalence checking using a SAT solver. It is shown that the equivalence checking time can significantly be reduced when knowledge of the parent circuit and its mutated offspring is taken into account. For a cost of a runtime, results of conventional synthesis conducted using SIS and ABC were improved by 20-40% for the LGSynth93 benchmarks.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Va{\v{s}}{\'{i}}{\v{c}}ek and Luk{\'{a}}{\v{s}}
	Sekanina},
   title = {A Global Postsynthesis Optimization Method for Combinational
	Circuits},
   pages = {1525--1528},
   booktitle = {Proc. of the Design, Automation and Test in Europe DATE 2011},
   year = {2011},
   location = {Grenoble, FR},
   publisher = {European Design and Automation Association},
   ISBN = {978-3-9810801-7-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9521}
}

Your IPv4 address: 54.158.55.5
Switch to IPv6 connection

DNSSEC [dnssec]