NSF Young Investigator: Design Automation for Embedded Systems

高制造成本加上产品上市时间的缩短需要增加集成电路的可编程组件。 嵌入在门阵列中的核心处理器提供可编程性。 这将电路设计从仅仅是阵列中的门改变为在与门阵列耦合的核心处理器上运行的指令的组合。 门，作为硅上的基本计算单元，是很好理解的。 这项研究的重点是理解嵌入式指令作为硅上的基本计算单元。 最初的工作是寻找合成嵌入式软件的方法。 正在研究的问题是：最坏情况下的时序分析，功耗建模和分析，以及高质量的可重定向代码合成. 办法包括：开发能够处理缓存和流水线等功能的时序模型，并确定最坏情况下的路径;分析系统功耗;以及专用架构的正式架构规范，以及可以利用特殊架构的代码生成算法。

High fabrication costs coupled with decreasing time-to-market for products require an increase of the programmable component of integrated circuits. Core processors embedded in a gate array provide programmability. This changes circuit design from just gates in an array, to a combination of instructions running on a core processor coupled with a gate array. Gates, as basic units of computation on silicon, are well understood. This research is focused on understanding embedded instructions as basic units of computation on silicon. Initial work is on finding methodologies for synthesizing embedded software. Problems being examined are: worst case timing analysis; power modeling and analysis; and high- quality retargetable code synthesis. Approaches include: developing timing models capable of handling features such as caches and pipelines, and determining worst-case paths; analyzing system power consumption; and formal architectural specification of specialized architectures, as well as code-generation algorithms that can take advantage of special architectures.