Multiple users have reported problems submitting materials to IDEALS. We are aware of the issue and are working to correct it ASAP. We appreciate your patience!

University of Illinois Urbana-Champaign

Efficient Equivalence Checking in a Modular Design Environment

Hasteer, Gagan

Permalink

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

Description

Title
Efficient Equivalence Checking in a Modular Design Environment
Author(s)
Hasteer, Gagan
Issue Date
1997-12
Keyword(s)
  • Equivalence checking
  • Modular design
  • Steady states
  • Sequential hardware equivalence
  • Interface verification
  • Safety property
  • Multi-phase design methodology
  • Minimum area retiming
Date of Ingest
  • 2015-12-10T23:21:31Z
  • 2017-07-15T00:10:26Z
Publisher
Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report Name or Number
Coordinated Science Laboratory Report no. UILU-ENG-97-2234, CRHC-97-19
Type of Resource
text
Genre of Resource
Report (Grant or Annual)
Language
en
Permalink
http://hdl.handle.net/2142/88508
Sponsor(s)/Grant Number(s)
DARPA / DAAH04-94-G-0273

Owning Collections

Report - Coordinated Science Laboratory PRIMARY