Binary time-frame expansion of sequential systems
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.
1 Assignment
0 Petitions
Accused Products
Abstract
A processing system provides for analysis of sequential systems using binary time-frame expansion of these systems. This expansion technique produces models in which inputs and values for time may be treated as variables for producing various outputs and states.
28 Citations
20 Claims
-
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 Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. Software for processing sequential systems, the software embodied in a medium and operable when executed:
-
to determine a maximum time-frame for analysis of a sequential system, the maximum time-frame representable using an n-bit binary value;
to generate a binary time-frame expanded model of the sequential system, the binary time-frame expanded model having n cascaded binary time-frame clauses;
to analyze the sequential system using the binary time-frame expanded model; and
to generate an analysis report. - View Dependent Claims (12, 13, 14, 15, 16, 17, 18, 19)
-
-
20. A binary time-frame expanded model of a sequential system comprising:
-
a plurality of binary time-frame clauses coupled in series, wherein each of the clauses has a relative position in the series, p, counted from the first of the clauses, which has p equal to zero, and wherein each of the clauses comprises a series of 2p copies of the sequential system and a multiplexer;
wherein within each of the clauses, each of the copies receives an input set and input state information and generates an output set and output state information, a first copy in the series receives initial state information for the clause as the input state information for the first copy, other copies in the series receive the output state information from a preceding one of the copies in the series as the input state information for the other copies, and a last copy in the series provides the output state information from the last copy to the multiplexer; and
wherein each of the clauses receives the initial state information for the clause, provides the initial state information for the clause to the multiplexer, controls the multiplexer based on a value for the pth digit in a binary representation of a time-frame under analysis to select between the output state information from the last copy and the initial state information for the clause, and provides selected state information from the multiplexer to a next one of the clauses.
-
Specification