Files in this item

FilesDescriptionFormat

application/pdf

application/pdfB59-CRHC_10_03.pdf (6MB)
(no description provided)PDF

Description

Title:Towards Coverage Closure: Using Goldmine Assertions for Generating Design Validation Stimulus
Author(s):Liu, Lingyi; Sheridan, David; Tuohy, William; Vasudevan, Shobha
Issue Date:2010-09
Publisher:Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG-10-2206
Genre:Report
Type:Text
Language:English
Description:Coordinated Science Laboratory was formerly known as Control Systems Laboratory
URI:http://hdl.handle.net/2142/74618
Sponsor:UILU-ENG-10-2206
Date Available in IDEALS:2015-04-06


This item appears in the following Collection(s)

Item Statistics