2006 IEEE International High Level Design Validation and Test Workshop
Latest Publications

TOTAL DOCUMENTS

48

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By IEEE

142440679x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.320005 ◽

2006 ◽

Author(s):

Hsiou-wen Hsueh ◽

Kerstin Eder

Keyword(s):

Logic Programming ◽

Inductive Logic Programming ◽

Inductive Logic ◽

Functional Coverage

Download Full-text

Semi-Formal Verification at IBM

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319981 ◽

2006 ◽

Author(s):

Jason Baumgartner

Keyword(s):

Formal Verification

Download Full-text

Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319984 ◽

2006 ◽

Author(s):

Tasuku Nishihara ◽

Takeshi Matsumoto ◽

Masahiro Fujita

Keyword(s):

High Level Synthesis ◽

Equivalence Checking ◽

Download Full-text

Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319985 ◽

2006 ◽

Author(s):

In-ho Moon ◽

Per Bjesse ◽

Carl Pixley

Keyword(s):

Equivalence Checking ◽

Don't Cares ◽

Sequential Equivalence Checking

Download Full-text

DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319971 ◽

2006 ◽

Author(s):

Allon Adir ◽

Laurent Fournier ◽

Yoav Katz ◽

Anatoly Koyfman

Keyword(s):

Functional Verification ◽

Model Based ◽

Address Translation

Download Full-text

Panel: Assertion-Based Verification -What's the Big Deal?

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319989 ◽

2006 ◽

Author(s):

Sandeep Shukla ◽

Alan Hu ◽

Jacob Abrahams ◽

Pranav Ashar ◽

Harry Foster ◽

...

Download Full-text

Disjunctive Transition Relation Decomposition for Efficient Reachability Analysis

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319997 ◽

2006 ◽

Author(s):

Stergios Stergiou ◽

Jawahar Jain

Keyword(s):

Reachability Analysis ◽

Transition Relation

Download Full-text

Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319996 ◽

2006 ◽

Author(s):

Amer Samarah ◽

Ali Habibi ◽

Sofiene Tahar ◽

Nawwaf Kharma

Keyword(s):

Genetic Algorithm ◽

Test Generation ◽

Download Full-text

Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319966 ◽

2006 ◽

Author(s):

Marc Boule ◽

Zeljko Zilic

Download Full-text

MMV: Metamodeling Based Microprocessor Valiation Environment

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319978 ◽

2006 ◽

Author(s):

Ajit Dingankar ◽

Deepak Mathaikutty ◽

Sreekumar Kodakara ◽

Sandeep Shukla ◽

David Lilja

Download Full-text