Universal Generation of Test Vectors for Functional Verification
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F14%3APU112078" target="_blank" >RIV/00216305:26230/14:PU112078 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Universal Generation of Test Vectors for Functional Verification
Original language description
The goal of this paper is to sumarize information about test vector generation for functional verification. Test vector generation is based on problem of solving constraints which is equivalent to Constraint Satisfaction Problem. The problem consists of finding a solution (assignments for variables) that must satisfy certain constraints. In the paper, the principles of functional verification and Coverage Directed Test Generation as one of the latest techniques for functional verification are also described. In the final part of the paper we propose a solution of universal generation of test vectors based on solving the constraints.
Czech name
—
Czech description
—
Classification
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)
Result continuities
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
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
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
44-49
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
—