Publication detail

Functional Equivalence Checking for Evolution of Complex Digital Circuits

SEKANINA, L. VAŠÍČEK, Z.

Original Title

Functional Equivalence Checking for Evolution of Complex Digital Circuits

Type

book chapter

Language

English

Original 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.

Keywords

digital circuit, evolutionary algorithm, SAT problem, equivalence checking

Authors

SEKANINA, L.; VAŠÍČEK, Z.

RIV year

2015

Released

20. 9. 2015

Publisher

Springer Verlag

Location

Berlin

ISBN

978-3-662-44615-7

Book

Evolvable Hardware - From Practice to Application

Pages from

175

Pages to

189

Pages count

15

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"
}