NGS:Collaborative Research: Structural and Composable Performance Simulation of Complex Systems

NGS：协作研究：复杂系统的结构和可组合性能仿真

• 批准号: 0305691
• 负责人: Vijay Pai
• 金额: $ 22.2万
• 依托单位: William Marsh Rice University
• 依托单位国家: 美国
• 项目类别: Continuing grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-09-15 至 2005-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0305691&HistoricalAwards=false
• 关键词: NGS; Collaborative; Research; Structural; Composable

The most prevalent modeling methodology for computational systems employed today,hand-writing monolithic simulators in sequential programming languages, yields simulators that aredifficult to retarget or integrate with one another. The proposed solution, the Liberty Simulation Environment (LSE), automatically constructs simulatorsfrom machine descriptions that closely resemble the structure of hardware. This structural resemblanceto the hardware provides confidence in the model and frees systems researchers to think about systems, notsimulator coding concerns. LSE's strict but general component communication contract enables the creationof highly reusable component libraries and eases the task of rapidly exploring ever more exotic designs. LSEcomponents and descriptions can be hierarchically composed of other components and can exist at any levelof abstraction (statistical to gate-level). This choice of abstraction level combined with partial specificationsupport allow models to be iteratively refined; descriptions generate fully functional simulators from thevery start, allowing users to specify and validate precise models incrementally. Through observing currentand future users of LSE, we will continually refine the framework to arrive at the most effective design ofthese features in practice.

目前使用的最流行的计算系统建模方法是用顺序编程语言编写的手写单片模拟器，这种方法产生的模拟器很难重新定位或彼此集成。提出的解决方案，自由仿真环境（LSE），从机器描述中自动构建模拟器，与硬件结构非常相似。这种与硬件的结构相似性提供了对模型的信心，并使系统研究人员能够思考系统，而不是模拟器编码问题。LSE严格但通用的组件通信协议使创建高度可重用的组件库成为可能，并简化了快速探索更多奇异设计的任务。lseco组件和描述可以分层地由其他组件组成，并且可以存在于任何抽象级别（从统计级别到门级别）。这种抽象层次的选择与部分规范支持相结合，允许模型迭代地改进；描述从一开始就生成功能齐全的模拟器，允许用户逐步指定和验证精确的模型。通过观察LSE当前和未来的用户，我们将不断完善框架，以在实践中实现这些功能的最有效设计。