Model-based retiming with functional equivalence constraints

Patent metadata

Field	Value
Publication number	US-8990739-B2
Application number	US-201314096333-A
Country	US
Kind code	B2
Filing date	Dec 4, 2013
Priority date	Dec 4, 2012
Publication date	Mar 24, 2015
Grant date	Mar 24, 2015

Abstract

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.

First claim

What is claimed is:

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 s…

Assignees

• Mathworks Inc

Inventors

• Gu Yongfeng
• Venkataramani Girish

Classifications

• G06F30/3323

  Physics · mapped topic

• G06F30/398 Primary

  Physics · mapped topic

• G06F30/327 Primary

  Physics · mapped topic

• G06F30/33

  Physics · mapped topic

• G06F17/504

  Physics · mapped topic