RIA: New Techniques for High-Level Synthesis

研究的重点是高级综合工具，这些工具可以将类似程序的行为描述转换为适合实现的设计。工具必须满足设计师的约束，特别是时间约束，同时产生高质量的设计。这项研究分三个阶段进行。首先，正在开发算法，以产生满足时间限制的初始时间表，从而为综合过程提供起点。其次，正在开发一种新的框架，用于使用模拟退火进行合成和设计探索。框架表示调度和分配决策，并提供一组将在保持所有时间限制的同时修改设计的操作。第三，计划扩展框架以纳入物理设计信息，并为逻辑合成工具提供桥梁。

Research is on high level synthesis tools that translate a program-like behavioral description into a design suitable for implementation. The tools must meet designer constraints, especially timing constraints, while producing high quality designs. The research is being done in three phases. First, algorithms are being developed to produce an initial schedule that meets timing constraints, thus providing a starting point for the synthesis process. Second, a new framework is being developed for synthesis and design exploration using simulated annealing. The framework represents scheduling and allocation decisions and provides a set of moves that will modify designs while maintaining all timing constraints. Third, it is planned to expand the framework to incorporate physical design information and to provide a bridge to logic synthesis tools.