Detail publikace

Universal Generation of Test Vectors for Functional Verification

ČEKAN, O.

Originální název

Universal Generation of Test Vectors for Functional Verification

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Test vector generation, Functional verification, Constraint solver, Constraint Satisfaction Problem, Coverage Directed Test Generation

Autoři

ČEKAN, O.

Rok RIV

2014

Vydáno

24. 6. 2014

Nakladatel

Liberec University of Technology

Místo

Liberec

ISBN

978-80-7494-027-9

Kniha

Počítačové architektury a diagnostika 2014

Strany od

44

Strany do

49

Strany počet

6

BibTex

@inproceedings{BUT111673,
  author="Ondřej {Čekan}",
  title="Universal Generation of Test Vectors for Functional Verification",
  booktitle="Počítačové architektury a diagnostika 2014",
  year="2014",
  pages="44--49",
  publisher="Liberec University of Technology",
  address="Liberec",
  isbn="978-80-7494-027-9"
}