Detail publikace

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.
Název česky
Ověřování funkční ekvivalence pro evoluční návrh složitých číslicových obvodů
Typ
kapitola v knize
Jazyk
anglicky
Autoři
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
Klíčová slova

digital circuit, evolutionary algorithm, SAT problem, equivalence checking

Abstrakt

Tato knižní kapitola se zabývá metodami ověřování funkční ekvivalence pro evoluční návrh složitých číslicových obvodů. Jedná se o jednu ze 14 kapitol, které byly začleněny do nové knihy o evolvable hardware editované Martinem Trefzerem and Andym M. Tyrrellem z University of York, UK.

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