×

Behavioral level observability analysis and its applications

  • US 6,728,945 B1
  • Filed: 02/26/2001
  • Issued: 04/27/2004
  • Est. Priority Date: 02/26/2001
  • Status: Active Grant
First Claim
Patent Images

1. A method of performing an observability analysis at the behavioral level of a digital system, the method comprising:

  • computing a token observable condition of an edge of a control data flow graph (CDFG), wherein the token observable condition is used to identify a redundant edge of the control data flow graph (CDFG); and

    computing a node observable condition of a node of the CDFG, wherein the node observable condition is used to identify a redundant node of the control data flow graph (CDFG).

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×