×

Binary time-frame expansion of sequential systems

  • US 20030226075A1
  • Filed: 06/03/2002
  • Published: 12/04/2003
  • Est. Priority Date: 06/03/2002
  • Status: Active Grant
First Claim
Patent Images

1. A method for processing sequential systems comprising:

  • determining a maximum time-frame for analysis of a sequential system, the maximum time-frame representable using an n-bit binary value;

    generating a binary time-frame expanded model of the sequential system, the binary time-frame expanded model having n cascaded binary time-frame clauses;

    analyzing the sequential system using the binary time-frame expanded model; and

    generating an analysis report.

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