Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)
Latest Publications

TOTAL DOCUMENTS

69

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By IEEE

0780387147

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431209 ◽

2004 ◽

Keyword(s):

Design Validation ◽

Level Design ◽

High Level

Download Full-text

TTTC: test technology technical council

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431214 ◽

2004 ◽

Keyword(s):

Technical Council ◽

Test Technology

Download Full-text

Validation of the dependability of CAN-based networked systems

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431262 ◽

2004 ◽

Cited By ~ 4

Author(s):

F. Corno ◽

J. Perez ◽

M. Ramasso ◽

M. Reorda ◽

M. Violante

Keyword(s):

Networked Systems

Download Full-text

Session 4: validation pattern generation

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431238 ◽

2004 ◽

Keyword(s):

Pattern Generation

Download Full-text

On code coverage measurement for Verilog-A

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431251 ◽

2004 ◽

Author(s):

Yuan-Bin Sha ◽

Mu-Shun Lee ◽

Chien-Nan Jimmy Liu

Keyword(s):

Code Coverage ◽

Coverage Measurement

Download Full-text

Blank page

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431254 ◽

2004 ◽

Download Full-text

Blank page

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431276 ◽

2004 ◽

Download Full-text

Blank page

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431273 ◽

2004 ◽

Download Full-text

Dynamic analysis of constraint-variable dependencies to guide SAT diagnosis

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431256 ◽

2004 ◽

Author(s):

V. Durairaj ◽

P. Kalla

Keyword(s):

Dynamic Analysis ◽

Constraint Variable

Download Full-text

Blank page

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) ◽

10.1109/hldvt.2004.1431259 ◽

2004 ◽

Download Full-text