Files in this item

FilesDescriptionFormat

application/pdf

application/pdfB45-CSG-15_opt.pdf (2MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Logic Design Verification Using Static Analysis
Author(s):Hanes, Larry Lewis
Subject(s):Logic verification
Static analysis
Hierarchical design
SCALD
LMA
Issue Date:1983-05
Publisher:Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report CSG-15
Genre:Report
Type:Text
Language:English
URI:http://hdl.handle.net/2142/88578
Sponsor:Naval Electronics Systems Command VHSIC Program / N00039-80-C-0556
Date Available in IDEALS:2015-12-10


This item appears in the following Collection(s)

Item Statistics