University of Illinois Urbana-Champaign

Logic Design Verification Using Static Analysis

Hanes, Larry Lewis

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/88578

Description

Title
Logic Design Verification Using Static Analysis
Author(s)
Hanes, Larry Lewis
Issue Date
1983-05
Keyword(s)
  • Logic verification
  • Static analysis
  • Hierarchical design
  • SCALD
  • LMA
Publisher
Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report Name or Number
Coordinated Science Laboratory Report no. CSG-15
Type of Resource
text
Language
en
Permalink
http://hdl.handle.net/2142/88578
Sponsor(s)/Grant Number(s)
Naval Electronics Systems Command VHSIC Program / N00039-80-C-0556

Owning Collections

Report - Coordinated Science Laboratory PRIMARY