Publication Details

Functional Equivalence Checking for Evolution of Complex Digital Circuits

SEKANINA, L.; VAŠÍČEK, Z. Functional Equivalence Checking for Evolution of Complex Digital Circuits. In Evolvable Hardware - From Practice to Application. Berlin: Springer Verlag, 2015. p. 175-189. ISBN: 978-3-662-44615-7.
Czech title
Ověřování funkční ekvivalence pro evoluční návrh složitých číslicových obvodů
Type
book chapter
Language
English
Authors
Sekanina Lukáš, prof. Ing., Ph.D. (DCSY)
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY)
Keywords

digital circuit, evolutionary algorithm, SAT problem, equivalence checking

Abstract

This book chapter deals with the functional equivalence checking methods that were utilized in evolution of complex digital circuits. It is one of 14 chapters included into a new book on evolvable hardware edited by Martin Trefzer and Andy M. Tyrrell of University of York, UK.

Published
2015
Pages
175–189
Book
Evolvable Hardware - From Practice to Application
ISBN
978-3-662-44615-7
Publisher
Springer Verlag
Place
Berlin
DOI
10.1007/978-3-662-44616-4
EID Scopus
2-s2.0-84956524752
BibTeX 
@inbook{BUT119782,
  author="Lukáš {Sekanina} and Zdeněk {Vašíček}",
  title="Functional Equivalence Checking for Evolution of Complex Digital Circuits",
  booktitle="Evolvable Hardware - From Practice to Application",
  year="2015",
  publisher="Springer Verlag",
  address="Berlin",
  pages="175--189",
  doi="10.1007/978-3-662-44616-4",
  isbn="978-3-662-44615-7"
}
Back to top