Model-based retiming with functional equivalence constraints

摘要

A system and method tests for functional equivalence prior to automatically retiming a high-level specification. An Intermediate Representation (IR) includes one or more graphs or trees based on the high-level specification. A functional equivalence (FE) analyzer determines whether one or more components in the graph meet certain value and state conditions and thus is a candidate for retiming. A bounded scheduler then retimes only those components that pass the FE analysis.

主权项

1. A method comprising:
building, on a computer, at least one intermediate representation (IR) including a specification for one or more components and a plurality of interconnections between the one or more components; storing the at least one IR in a memory; analyzing, on the computer, the at least one IR, the analyzing comprising at least two of:
determining a first condition of whether a first of the one or more components has a predetermined initial state;determining a second condition of whether the first of the one or more components produces an expected output value given an input value; ordetermining a third condition of whether the first of the one or more components produces no state change for a selected input value; and if at least two of the first, second or third conditions are determined to be true, then rearranging, on the computer, at least one of the plurality of interconnections or at least one of the one or more of the components in the at least one IR.