Application of Evolutionary Computing for Optimization of Functional Verification

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F14%3APU112077" target="_blank" >RIV/00216305:26230/14:PU112077 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Application of Evolutionary Computing for Optimization of Functional Verification

Popis výsledku v původním jazyce

This paper introduces a new method for optimization of coverage-driven verification (CDV) that is based on evolutionary computing. In comparison to the classical CDV that utilizes random search, using this method the convergence to the maximum coverage is much faster, fewer transactions are used and no manual effort is required from the user. Moreover, the optimization is targeted to the verification process itself without the dependence on the circuit that is verified.

Název v anglickém jazyce

Application of Evolutionary Computing for Optimization of Functional Verification

Popis výsledku anglicky

This paper introduces a new method for optimization of coverage-driven verification (CDV) that is based on evolutionary computing. In comparison to the classical CDV that utilizes random search, using this method the convergence to the maximum coverage is much faster, fewer transactions are used and no manual effort is required from the user. Moreover, the optimization is targeted to the verification process itself without the dependence on the circuit that is verified.

Druh

D - Stať ve sborníku

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/LD12036" target="_blank" >LD12036: Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

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ů

Název statě ve sborníku

Počítačové architektury a diagnostika 2014

ISBN

978-80-7494-027-9

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

135-140

Název nakladatele

Liberec University of Technology

Místo vydání

Liberec

Místo konání akce

Malá Skála

Datum konání akce

4. 9. 2014

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—