Publication detail
A Global Postsynthesis Optimization Method for Combinational Circuits
VAŠÍČEK, Z. SEKANINA, L.
Original Title
A Global Postsynthesis Optimization Method for Combinational Circuits
English Title
A Global Postsynthesis Optimization Method for Combinational Circuits
Type
conference paper
Language
en
Original Abstract
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.
English abstract
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.
Keywords
logic synthesis, genetic programming, SAT solver
RIV year
2011
Released
21.03.2011
Publisher
European Design and Automation Association
Location
Grenoble
ISBN
978-3-9810801-7-9
Book
Proc. of the Design, Automation and Test in Europe DATE 2011
Edition
NEUVEDEN
Edition number
NEUVEDEN
Pages from
1525
Pages to
1528
Pages count
4
URL
Documents
BibTex
@inproceedings{BUT76297,
author="Zdeněk {Vašíček} and Lukáš {Sekanina}",
title="A Global Postsynthesis Optimization Method for Combinational Circuits",
annote="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.",
address="European Design and Automation Association",
booktitle="Proc. of the Design, Automation and Test in Europe DATE 2011",
chapter="76297",
edition="NEUVEDEN",
howpublished="print",
institution="European Design and Automation Association",
year="2011",
month="march",
pages="1525--1528",
publisher="European Design and Automation Association",
type="conference paper"
}