University of Illinois Urbana-Champaign

A Graph Traversal Based Framework for Sequential Logic Implication with an Application to C-Cycle Redundancy Identification

Zhao, Jian-Kun; Newquist, Jeffrey A.; Patel, Janak H.

Permalink

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

Description

Title
A Graph Traversal Based Framework for Sequential Logic Implication with an Application to C-Cycle Redundancy Identification
Author(s)
  • Zhao, Jian-Kun
  • Newquist, Jeffrey A.
  • Patel, Janak H.
Issue Date
2000-05
Keyword(s)
  • ATPG
  • Fault modeling
Date of Ingest
  • 2015-04-06T20:58:27Z
  • 2017-07-14T23:15:09Z
Publisher
Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report Name or Number
Coordinated Science Laboratory Report no. UILU-ENG-00-2205, CRHC-98-14
Type of Resource
text
Genre of Resource
Report (Grant or Annual)
Language
English
Permalink
http://hdl.handle.net/2142/74568
Sponsor(s)/Grant Number(s)
  • Semiconductor Research Corporation / SRC 96-DP-109 and SRC 97-DS-482
  • DARPA / DABT63-95-C-0069
  • Hewlett-Packard

Owning Collections

Report - Coordinated Science Laboratory PRIMARY