CAREER: Asynchronous Computer Architecture

职业：异步计算机架构

• 批准号: 9984299
• 负责人: Rajit Manohar
• 金额: $ 27.6万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-04-15 至 2004-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9984299&HistoricalAwards=false
• 关键词: CAREER; Asynchronous; Computer; Architecture

This research studies asynchronous computer architecture as a means to tackle three major challenges facing modern computer architects: power dissipation in high-performance architectures, correctness on first silicon, and system integration. The project addresses the following issues: (a) the development of a framework for the optimization of power and performance in asynchronous designs; (b) the design of asynchronous architectural components having varied power/performance characteristics; (c) the design of tools that analyze asynchronous systems for their ease of pipelining in support of the formal synthesis approach to asynchronous design; and (d) the extension of the asynchronous formal synthesis methodology to heterogeneous systems.

本研究以异步计算机架构为手段，以解决现代计算机架构师面临的三大挑战：高性能架构中的功耗，第一个硅上的正确性和系统集成。该项目涉及以下问题：（a）开发异步设计中功耗和性能优化的框架;（B）设计具有不同功耗/性能特性的异步架构组件;（c）设计分析异步系统的工具，以便于支持异步设计的正式综合方法;（d）将异步形式综合方法扩展到异构系统。