Detail publikačního výsledku

Functional Equivalence Checking for Evolution of Complex Digital Circuits

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

Originální název

Functional Equivalence Checking for Evolution of Complex Digital Circuits

Anglický název

Functional Equivalence Checking for Evolution of Complex Digital Circuits

Druh

Kapitola, resp. kapitoly v odborné knize

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

digital circuit, evolutionary algorithm, SAT problem, equivalence checking

Klíčová slova v angličtině

digital circuit, evolutionary algorithm, SAT problem, equivalence checking

Autoři

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

Rok RIV

2016

Vydáno

20.09.2015

Nakladatel

Springer Verlag

Místo

Berlin

ISBN

978-3-662-44615-7

Kniha

Evolvable Hardware - From Practice to Application

Strany od

175

Strany do

189

Strany počet

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