The Community for Technology Leaders
2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) (2001)
Monterey, California
Dec. 7, 2001 to Dec. 9, 2001
ISBN: 0-7695-1411-1
Session 1: Design Validation of Microprocessors

Relating Buffer-Oriented Microarchitecture Validation to High-Level Pipeline Functionality (Abstract)

John Paul Shen , Carnegie Mellon University
Noppanunt Utamaphethai , Carnegie Mellon University
R.D. (Shawn) Blanton , Carnegie Mellon University
pp. 3

Automatic Validation of Pipeline Specifications (Abstract)

Prabhat Mishra , University of California, Irvine
Alex Nicolau , University of California, Irvine
Nikil Dutt , University of California, Irvine
pp. 9
Session 2: Techniques for High Level Design Validation and Test
Session 3: Invited Session: State-of-the-Art Formal Verification Techniques

Symbolic Simulation Techniques - State-of-the-art and Applications (Abstract)

Jens Levihn , Darmstadt University of Technology
Claudia Blank , Darmstadt University of Technology
Hans Eveking , Darmstadt University of Technology
Gerd Ritter , Darmstadt University of Technology
pp. 45
Session 4: Short Papers: High Level Verification and Analysis

RTL Functional Verification Using Excitation and Observation Coverage (Abstract)

Byeong Min , Texas A&M University
Gwan Choi , Texas A&M University
pp. 58

Taylor Expansion Diagrams: a New Representation for RTL Verification (Abstract)

P. Kalla , University of Massachusetts
Z. Zeng , University of Massachusetts
M. Ciesielski , University of Massachusetts
B. Rouzeyre , LIRMM
pp. 70
Session 5: Short papers: High Level Timing Verification and Testing

Fast Timed Cosimulation of HW/SW Implementation of Embedded Multiprocessor SoC Communication (Abstract)

Gabriela Nicolescu , SLS group, TIMA/INPG
Sungjoo Yoo , SLS group, TIMA/INPG
Lovic Gauthier , SLS group, TIMA/INPG
Ahmed A. Jerraya , SLS group, TIMA/INPG
pp. 79

Test Pattern Generation for Timing-Induced Functional Errors in Hardware-Software Systems (Abstract)

Fei Xin , University of Massachusetts
Jinzheng Peng , University of Massachusetts
Srikanth Arekapudi , University of Massachusetts
Ian G. Harris , University of Massachusetts
pp. 83

Combining Complex Event Models and Timing Constraints (Abstract)

Rolf Ernst , Technical University of Braunschweig
Kai Richter , Technical University of Braunschweig
Marek Jersak , Technical University of Braunschweig
pp. 89
Session 6: Verification of Real Life Designs

Proving Sequential Consistency by Model Checking (Abstract)

Alan J. Hu , Univ. of British Columbia
Anne Condon , Univ. of British Columbia
Kai S. Juse , Technical University of Darmstadt
Marius Laza , Univ. of British Columbia
Michael Leslie , Univ. of British Columbia
Rita Sharma , Univ. of British Columbia
Tim Braun , Technical University of Darmstadt
pp. 103

Formal Verification of the Pentium 4 Multiplier (Abstract)

Roope Kaivola , Intel Corporation
Naren Narasimhan , Intel Corporation
pp. 115
Session 7: High-Level Specification and Verification

Constraints Specification at Higher Levels of Abstraction (Abstract)

Felice Balarin , Cadence Berkeley Laboratories
Jerry Burch , Cadence Berkeley Laboratories
Alberto Sangiovanni-Vincentelli , University of California at Berkeley
Yosinori Watanabe , Cadence Berkeley Laboratories
Roberto Passerone , University of California at Berkeley
Luciano Lavagno , Cadence Berkeley Laboratories
pp. 129
Session 8: High-Level Test Generation and Coverage Analysis

On Generation of The Minimum Pattern Set for Data Path Elements in SoC Design Verification Based on Port Order Fault Model (Abstract)

Jing-Yang Jou , National Chiao Tung University,
Shing-Wu Tung , National Chiao Tung University,
Chun-Yao Wang , National Chiao Tung University,
pp. 145

Observability Enhanced Coverage Analysis of C programs for Functional Validation (Abstract)

Indradeep Ghosh , Fujitsu Laboratories of America, Inc.
Farzan Fallah , Fujitsu Laboratories of America, Inc.
pp. 157
Session 9: Improved Techniques for Boolean Reasoning

Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability (Abstract)

Dong Wang , Carnegie Mellon University
Yunshan Zhu , Synopsys Inc.
James Kukula , Synopsys Inc.
Edmund Clarke , Carnegie Mellon University
pp. 165

An Enhanced Cut-points Algorithm in Formal Equivalence Verification (Abstract)

Daher Kaiss , Intel Architecture Group
Ziyad Hanna , Intel Architecture Group
John Moondanos , Intel Architecture Group
Zurab Khasidashvili , Intel Architecture Group
pp. 171

An Analysis of ATPG and SAT algorithms for Formal Verification (Abstract)

Chung-Yang Huang , Verplex Systems Inc
G. Parthasarathy , Univ. of California, Santa Barbara
Kwang-Ting Cheng , Univ. of California, Santa Barbara
pp. 177

Author Index (PDF)

pp. 183
75 ms
(Ver 3.3 (11022016))