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) 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 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
