CAREER: Transforming Computer System Design

职业：改变计算机系统设计

• 批准号: 0747438
• 负责人: Derek Chiou
• 金额: $ 40万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-02-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0747438&HistoricalAwards=false
• 关键词: CAREER; Transforming; Computer; System; Design

This project attacks the high costs of architecting, implementation,and verifying computer systems as well as developing system andapplication software through the use of FPGA-Accelerate SimulationTechnologies (FAST) simulators. Rather than having to develop adistinct set of simulation and evaluation tools for each task, FASTsimulators have been demonstrated to be both accurate enough andsufficiently easy to write to be useful to architects and are bothfull-system and fast enough to be useful to software developers.Initial FAST prototypes were not, however, directly useful to computersystem implementation and verfication. In addition, there is nomature methodology to verify FAST simulators themselves.The specification of a FAST simulator, however, contains sufficientinformation to specify a set of implementations, thus begging thequestion of whether one or more implementations could be automaticallygenerated from such a specification. This project is developing atool chain to automatically transform a FAST simulator specificationinto an implementation, thus coupling architecture, implementation andsoftware development, permitting all to be co-developed and making iteasy for each to influence the other two. An implementation can alsobe verified using conventional methods, meaning such an automatictransformation provides a conventional method to verify FASTsimulators.

该项目通过使用FPGA加速仿真技术（FAST）仿真器来解决计算机系统的架构、实现和验证以及系统和应用软件开发的高成本问题。 FAST模拟器并不需要为每项任务开发一套不同的模拟和评估工具，它已经被证明既足够准确又足够容易编写，对架构师有用，又足够全系统又足够快，对软件开发人员有用。然而，最初的FAST原型并不直接对计算机系统的实现和验证有用。 此外，还有一种成熟的方法来验证FAST模拟器本身。然而，FAST模拟器的规范包含了指定一组实现的必要信息，因此引发了一个问题，即是否可以从这样的规范中自动生成一个或多个实现。 该项目正在开发工具链，以自动将FAST模拟器规范转换为实现，从而耦合架构，实现和软件开发，允许所有这些共同开发，并使每一个容易影响其他两个。 一个实现也可以使用传统的方法进行验证，这意味着这样的自动转换提供了一个传统的方法来验证FAST模拟器。