Demonstrates some of the types of design problems that can be addressed using the attributed-behavior approach to high-level synthesis based design. In one example, assertions are used to enforce a template hierarchy in an effort to exploit data-flow regularity during high-level synthesis. In another, assertions are used to account for a probable effect of logic synthesis on register transfer level results. The advantage of using the attributed-behavior approach to addressing design problems at the algorithmic level is the flexibility that stems from the use of a single general purpose synthesis tool and modeling language. >
['Lawrence F. Arnstein', 'Donald E. Thomas']
Applications of attributed-behavior synthesis