Ian G. Harris Department of Information and Computer Science University of...  Home/Search
Context
Related
| uci.edu/journal_arti...dnt03_harris.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uci.edu/pub_journals (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The increasing use of hardware-software systems in cost-critical and life-critical applications has led to heightened significance of design correctness of these systems. This article presents a summary of research in test generation and fault models to support hardware-software covalidation. The covalidation problem involves the verification of design correctness using simulation-based techniques. The article focuses on the test generation process for hardware-software systems and the... (Update)
Active bibliography (related documents): More All
6.5: Hardware-Software Covalidation: Fault Models and Test Generation - Harris (Correct)
0.7: Automatic Design Validation Framework for HDL Descriptions.. - Zhang, Hsiao, Ghosh (Correct)
0.5: RT-level ITC'99 benchmarks and first ATPG results - Fulvio Corno Matteo (2000) (Correct)
Similar documents based on text: More All
0.2: On The Detection of Synchronization Errors - Harris (2004) (Correct)
0.2: Structural Parameters for Globular Clusters in NGC 5128 - William Harris Department (Correct)
0.1: On the Formation of Galaxy Halos: Comparing NGC 5128 and .. - William Harris.. (Correct)
BibTeX entry: (Update)
@misc{ department-fault,
author = "Ian Harris Department",
title = "Fault Models and Test Generation for Hardware-Software Covalidation",
url = "citeseer.ist.psu.edu/634332.html" }
Citations (may not include all citations):603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
237 Software Testing Techniques (context) - Beizer - 1990
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
113 Test pattern generation using boolean satisfiability - Larrabee - 1992
110 A complexity measure (context) - McCabe - 1976
106 Implicit state enumeration of finite state machines using BD.. (context) - Touati, Savoj et al. - 1990
73 Interface-based design (context) - Rowson, Sangiovanni-Vincentelli - 1997
69 Principles and methods of testing finite state machines - a .. - Lee, Yannakakis - 1996
63 A data flow oriented program testing strategy (context) - Laski, Korel - 1983
46 Architecture validation for processors - Ho, Yang et al. - 1995
45 A domain strategy for computer program testing (context) - White, Cohen - 1980
42 A fortran language system for mutation-based software testin.. - King, Offutt - 1991
31 Specification and design of embedded hardware-software syste.. (context) - Gajski, Vahid - 1995
23 Coverage-directed test generation using symbolic techniques - Geist, Farkas et al. - 1996
21 Simulation vector generation from hdl descriptions for obser.. - Fallah, Pranav et al. - 1999
21 Abstraction techniques for validation coverage analysis and .. - Moundanos, Abraham et al. - 1998
19 Occom: Efficient computation of observability-based code cov.. - Fallah, Devadas et al. - 1998
18 Essentials of Electronic Testing for Digital (context) - Bushnell, Agrawal - 2000
17 User defined coverage - a tool supported methodology for des.. - Grinwald, Harel et al. - 1998
16 Functional testing of microprocessors (context) - Brahme, Abraham - 1984
13 Modeling design constraints and biasing in simulation using .. - Yuan, Shultz et al. - 1999
13 Generation of design verification tests from behavioral vhdl.. (context) - Vemuri, Kalyanaraman - 1995
12 Native mode functional test generation for processors with a.. (context) - Shen, Abraham - 1998
12 Functional vector generation for hdl models using linear pro.. - Fallah, Devadas et al. - 1998
7 Functional test generation for behaviorally sequential model.. - Ferrandi, Ferrara et al. - 2001
7 Improving coverage analysis and test generation for large de.. - Bergmann, Horowitz - 1999
6 Coverage metrics for functional validation of hardware desig.. (context) - Tasiran, Keutzer - 2000
6 Verification of configurable processor cores (context) - Puig-Medina, Ezer et al. - 2000
6 From specification validation to hardware testing: A unified.. (context) - Hayek, Robach - 1996
6 Coverage metrics for functional validation of hardware desig.. (context) - Tasiran, Keutzer - 2001
6 Behavioral-level test vector generation for system-on-chip d.. - Lajolo, Lavagno et al. - 2000
5 Automatic test bench generation for validation of RT-level d.. - Corno, Reorda et al. - 2000
4 Use of constraint solving in order to generate test vectors .. (context) - Paoli, Nivet et al. - 2000
4 Functional testing of current microprocessors (context) - Goor, Verhallen - 1992
4 Validation vector grade (VVG): A new coverage metric for val.. (context) - Thaker, Agrawal et al. - 1999
4 Interface based hardware/software validation of a system-on-.. - Panigrahi, Taylor et al. - 2000
3 SystemC: A homogenous environment to test embedded systems (context) - Fin, Fummi et al. - 2001
3 A validation fault model for timing-induced functional error.. - Zhang, Harris - 2001
3 Lpsat: A unified approach to rtl satisfiability - Zeng, Kalla et al. - 2000
2 Efficient preimage computation using a novel success-driven .. - Sheng, Hsiao - 2003
2 GNU Prolog: A Native Prolog Compiler with Constraint Solving.. (context) - Diaz - 1999
2 On choosing test criteria for behavioral level harware desig.. (context) - von Mayrhauser, Chen et al. - 2000
2 A domain coverage metric for the validation of behavioral vh.. (context) - Zhang, Harris - 2000
2 Automatic functional test bench generation using the extende.. (context) - Cheng, Krishnakumar - 1993
2 Register-transfer level fault modeling and test evaluation t.. (context) - Thaker, Agrawal et al. - 2000
2 A data flow fault coverage metric for validation of behavior.. (context) - Zhang, Harris - 2000
1 Relating buffer-oriented microarchitecture validation to hig.. (context) - Utamaphetai, Blanton et al. - 2001
1 Test generation for hardware-software covalidation using non.. (context) - Xin, Harris - 2002
1 Automatic verification of pipeline specifications (context) - Mishra, Dutt et al. - 2001
1 Functional test generation using constraint logic programmin.. (context) - Zeng, Ciesielski et al. - 2001
Documents on the same site (http://www.cecs.uci.edu/pub_journals.htm):
Testing and Diagnosis of Interconnect Faults in Cluster-Based .. - Harris, Tessier (2002) (Correct)
Partial BIST Insertion to Eliminate Data Correlation - Zhang, Harris (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC