Detail výsledku

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.
Typ
kapitola, resp. kapitoly v odborné knize
Jazyk
anglicky
Autoři
Sekanina Lukáš, prof. Ing., Ph.D., UPSY (FIT)
Vašíček Zdeněk, doc. Ing., Ph.D., UPSY (FIT)
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

Rok
2015
Strany
175–189
Kniha
Evolvable Hardware - From Practice to Application
ISBN
978-3-662-44615-7
Vydavatel
Springer Verlag
Místo
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"
}
Projekty
Pokročilé metody evolučního návrhu složitých číslicových obvodů, GAČR, Standardní projekty, GA14-04197S, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Evolvable Hardware (VZ EHW)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru