Application of Evolutionary Computing for Optimization of Functional Verification

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Application of Evolutionary Computing for Optimization of Functional Verification

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/LD12036" target="_blank" >LD12036: Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification</a><br>

Continuities

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

Publication year

2014

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Počítačové architektury a diagnostika 2014

ISBN

978-80-7494-027-9

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

135-140

Publisher name

Liberec University of Technology

Place of publication

Liberec

Event location

Malá Skála

Event date

Sep 4, 2014

Type of event by nationality

CST - Celostátní akce

UT code for WoS article

—