TREA

System and method for incremental synthesis

Follow

Information

  • Patent Application
  • 20070157131
  • Publication Number
    20070157131
  • Date Filed
    December 30, 2005
    19 years ago
  • Date Published
    July 05, 2007
    17 years ago
Information
Abstract
A method of synthesis of a model representing a design is provided comprising: inputting to a synthesis tool information representing a design at a level of abstraction; using a synthesis tool to automatically translate the information representing a design at a level of abstraction to a model representing the design at a lower level abstraction; and producing a record the information input to the tool representing the design at the level of abstraction.
Description

BRIEF DESCRIPTION OF THE DRAWINGS


FIG. 1 is an illustrative flow diagram of an incremental synthesis system and process in accordance with an embodiment of the invention.



FIG. 3 is a schematic drawing of an illustrative computer system that can be programmed to implement a novel synthesis tool of FIGS. 2-3 in accordance with an embodiment of the invention.


Claims
  • 1. A method of synthesis of a model representing a design comprising: inputting to a synthesis tool information representing a design at a level of abstraction;using a synthesis tool to automatically translate the information representing a design at a level of abstraction to a model representing the design at a lower level abstraction; andproducing a record the information input to the tool representing the design at the level of abstraction.