Functional Equivalence Checking for Evolution of Complex Digital Circuits

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F15%3APU116925" target="_blank" >RIV/00216305:26230/15:PU116925 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-662-44616-4" target="_blank" >http://dx.doi.org/10.1007/978-3-662-44616-4</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-44616-4" target="_blank" >10.1007/978-3-662-44616-4</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Functional Equivalence Checking for Evolution of Complex Digital Circuits
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Functional Equivalence Checking for Evolution of Complex Digital Circuits
Popis výsledku anglicky
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.

Druh
C - Kapitola v odborné knize
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt
<a href="/cs/project/GA14-04197S" target="_blank" >GA14-04197S: Pokročilé metody evolučního návrhu složitých číslicových obvodů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)