Eighth IEEE International High-Level Design Validation and Test Workshop
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0780382366

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Piparazzi: a test program generator for micro-architecture flow verification

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252470 ◽

2004 ◽

Cited By ~ 10

Author(s):

A. Adir ◽

E. Bin ◽

O. Peled ◽

A. Ziv

Keyword(s):

Test Program ◽

Program Generator

Download Full-text

Scheduling of transactions for system-level test-case generation

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252489 ◽

2004 ◽

Cited By ~ 8

Author(s):

R. Emek ◽

Y. Naveh

Keyword(s):

System Level ◽

Test Case Generation ◽

Test Case

Download Full-text

Testing ThumbPod: Softcore bugs are hard to find

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252478 ◽

2004 ◽

Cited By ~ 4

Author(s):

P. Schaumont ◽

K. Sakiyama ◽

Y. Fan ◽

D. Hwang ◽

S. Yang ◽

...

Download Full-text

BDD-based verification of scalable designs

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252485 ◽

2004 ◽

Author(s):

D. Grosse ◽

R. Drechsler

Download Full-text

Verifying LOC based functional and performance constraints

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252479 ◽

2004 ◽

Cited By ~ 7

Author(s):

Xi Chen ◽

H. Hsieh ◽

F. Balarin ◽

Y. Watanabe

Keyword(s):

Performance Constraints ◽

And Performance

Download Full-text

High-level optimization of pipeline design

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252473 ◽

2004 ◽

Cited By ~ 1

Author(s):

J.P.L. Campbell ◽

N.A. Day

Keyword(s):

High Level ◽

Pipeline Design

Download Full-text

High-level test generation for hardware testing and software validation

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252488 ◽

2004 ◽

Cited By ~ 4

Author(s):

O. Goloubeva ◽

M. Sonza Reorda ◽

M. Violante

Keyword(s):

Test Generation ◽

Software Validation ◽

High Level

Download Full-text

Logic transformation and coding theory-based frameworks for Boolean satisfiability

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252475 ◽

2004 ◽

Cited By ~ 1

Author(s):

D.K. Pradhan

Keyword(s):

Coding Theory ◽

Boolean Satisfiability

Download Full-text

Software-based self-test methodology for crosstalk faults in processors

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252468 ◽

2004 ◽

Author(s):

Xiaoliang Bai ◽

Li Chen ◽

S. Dey

Keyword(s):

Test Methodology ◽

Self Test

Download Full-text

Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252480 ◽

2004 ◽

Cited By ~ 11

Author(s):

M. Braun ◽

W. Rosenstiel ◽

K.-D. Schubert

Keyword(s):

Data Mining ◽

Bayesian Networks ◽

Simulation Based

Download Full-text

Eighth IEEE International High-Level Design Validation and Test WorkshopLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Piparazzi: a test program generator for micro-architecture flow verification

Scheduling of transactions for system-level test-case generation

Testing ThumbPod: Softcore bugs are hard to find

BDD-based verification of scalable designs

Verifying LOC based functional and performance constraints

High-level optimization of pipeline design

High-level test generation for hardware testing and software validation

Logic transformation and coding theory-based frameworks for Boolean satisfiability

Software-based self-test methodology for crosstalk faults in processors

Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification

Eighth IEEE International High-Level Design Validation and Test Workshop
Latest Publications