Detail publikace

Evolutionary Optimization of Complex Digital Circuits

VAŠÍČEK, Z.; SEKANINA, L. Evolutionary Optimization of Complex Digital Circuits. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2011. p. 127-127. ISBN: 978-80-214-4305-1.
Název česky
Evoluční optimalizace komplexních číslicových obvodů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY)
Klíčová slova

circuit synthesis, circuit optimization, evolutionary design, satisfiability, formal verification, combinational equivalence checking

Abstrakt

Příspěvek vycházející z článku Formal Verification of Candidate Solutions for Post-Synthesis Evolutionary Optimization in Evolvable Hardware publikovaného v časopise Genetic Programming and Evolvable Machines, Volume 12, Number 3, p. 305-327.

Rok
2011
Strany
127–127
Sborník
7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-214-4305-1
Vydavatel
Masaryk University
Místo
Brno
BibTeX 
@inproceedings{BUT91278,
  author="Zdeněk {Vašíček} and Lukáš {Sekanina}",
  title="Evolutionary Optimization of Complex Digital Circuits",
  booktitle="7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2011",
  pages="127--127",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-214-4305-1"
}
Nahoru