The Attributed-Behavior Abstraction and Synthesis Tools

Though high-level synthesis tools seem to fit nicely into the traditional top-down VLSI design methodology in which an abstract algorithmic model is transformed into a detailed register transfer level implementation, there is an important difference between filling in the details by hand and relying on a high-level synthesis tool to do so. Unlike the hand-designer, an engineer who uses a synthesis tool is not likely to be familiar with the specific register transfer level implementation. Thus, the use of high-level synthesis tools can effectively inhibit the engineer´s ability to attack design problems or make informed trade-offs at either the specification or implementation level. A solution to this problem that we have developed in this research is to expose register transfer level implementation detail to the engineer, for both analysis and modification, in terms of the original algorithmic specification of the system. We introduce a new design abstraction that can uniformly represent both the input and output of high level synthesis tools. When coupled with a new type of synthesis tool, the attributed-behavior abstraction can increase the potential for high-level design space exploration by making synthesis results accessible to the engineer.