Detail publikace

Využití a akcelerace evolučních technik pro návrh číslicových obvodů

VAŠÍČEK, Z.

Originální název

Využití a akcelerace evolučních technik pro návrh číslicových obvodů

Český název

Využití a akcelerace evolučních technik pro návrh číslicových obvodů

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

cs

Originální abstrakt

V posledních letech bylo v řadě publikací ukázáno, že využitím evoluční technik při řešení konkrétního problému jsme schopni získat kvalitní a mnohdy inovativní výsledky.Často skloňovaným nedostatkem evolučního přístupu je však problém škálovatelnosti, zejména problém škálovatelnosti evaluace, který znemožňuje efektivně řešit komplexní úlohy.Ačkoliv nejvíce výsledků bylo dosaženo v oblasti návrhu číslicových obvodů, nebyl doposud publikován přístup umožňující pracovat s obvody čítajícími více než cca 25 vstupů.Článek popisuje strukturu disertační práce, která se zabývá návrhem technik umožňujících redukovat problém škálovatelnosti evaluace.V oblasti návrhu kombinačních obvodů se podařilo spojením evolučních technik s metodami formální verifikace tento problém výrazně redukovat, navržený přístup je schopen manipulovat s obvody čítajícími desítky až stovky vstupů.

Český abstrakt

V posledních letech bylo v řadě publikací ukázáno, že využitím evoluční technik při řešení konkrétního problému jsme schopni získat kvalitní a mnohdy inovativní výsledky.Často skloňovaným nedostatkem evolučního přístupu je však problém škálovatelnosti, zejména problém škálovatelnosti evaluace, který znemožňuje efektivně řešit komplexní úlohy.Ačkoliv nejvíce výsledků bylo dosaženo v oblasti návrhu číslicových obvodů, nebyl doposud publikován přístup umožňující pracovat s obvody čítajícími více než cca 25 vstupů.Článek popisuje strukturu disertační práce, která se zabývá návrhem technik umožňujících redukovat problém škálovatelnosti evaluace.V oblasti návrhu kombinačních obvodů se podařilo spojením evolučních technik s metodami formální verifikace tento problém výrazně redukovat, navržený přístup je schopen manipulovat s obvody čítajícími desítky až stovky vstupů.

Rok RIV

2010

Vydáno

14.09.2010

Nakladatel

Fakulta informačních technologií VUT v Brně

Místo

Brno

ISBN

978-80-214-4140-8

Kniha

Počítačové architektury a diagnostika 2010

Edice

NEUVEDEN

Číslo edice

NEUVEDEN

Strany od

165

Strany do

170

Strany počet

6

BibTex


@inproceedings{BUT35127,
  author="Zdeněk {Vašíček}",
  title="Využití a akcelerace evolučních technik pro návrh číslicových obvodů",
  annote="V posledních letech bylo v řadě publikací ukázáno, že využitím evoluční technik
při řešení konkrétního problému jsme schopni získat kvalitní a mnohdy inovativní
výsledky.Často skloňovaným nedostatkem evolučního přístupu je však problém
škálovatelnosti, zejména problém škálovatelnosti evaluace, který znemožňuje
efektivně řešit komplexní úlohy.Ačkoliv nejvíce výsledků bylo dosaženo v oblasti
návrhu číslicových obvodů, nebyl doposud publikován přístup umožňující pracovat
s obvody čítajícími více než cca 25 vstupů.Článek popisuje strukturu disertační
práce, která se zabývá návrhem technik umožňujících redukovat problém
škálovatelnosti evaluace.V oblasti návrhu kombinačních obvodů se podařilo
spojením evolučních technik s metodami formální verifikace tento problém výrazně
redukovat, navržený přístup je schopen manipulovat s obvody čítajícími desítky až
stovky vstupů.",
  address="Fakulta informačních technologií VUT v Brně",
  booktitle="Počítačové architektury a diagnostika 2010",
  chapter="35127",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Fakulta informačních technologií VUT v Brně",
  year="2010",
  month="september",
  pages="165--170",
  publisher="Fakulta informačních technologií VUT v Brně",
  type="conference paper"
}