Patent №
US 8,990,739
Granted
2015-03-24
Filed 2013
Owner
THE MATHWORKS, INC.
Lab
—
AI components
1
hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
14096333
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.
AI classification
Ownership
THE MATHWORKS, INC.
assignment · 320590415
Assignors
GU, YONGFENG, VENKATARAMANI, GIRISH
On an employer assignment, the assignors are typically the inventors.