The Design of Asynchronous Circuits and Systems with Emphasis on Correctness and Proven Optimizations

注重正确性和经过验证的优化的异步电路和系统设计

• 批准号: 9215878
• 负责人: Erik Brunvand
• 金额: $ 24.54万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-02-15 至 1996-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9215878&HistoricalAwards=false
• 关键词: Design; Asynchronous; Circuits; Systems; Emphasis

Brunvand This research merges two efforts in asynchronous circuit compilation. These are the work of Gopalakrishnan on the language hopCP and its use in verification; and the work of Brunvand on asynchronous circuit compilation. The research is: 1. enhancing the expressive power as well as the semantic clarity of concurrent hardware description languages for asynchronous circuits and systems; 2. extending the formal basis for compiling from HDL's to circuit designs; 3. formally characterizing and improving the optimizations used in asynchronous circuit compilation; and 4. studying the performance of implemented circuits with regard to a variety of parameters.

本研究结合了异步电路编译的两个方面。这些是Gopalakrishnan关于hopCP语言及其在验证中的应用的工作；以及Brunvand在异步电路编译方面的工作。研究是：1。提高异步电路和系统的并发硬件描述语言的表达能力和语义清晰度；2. 将编译的形式基础从HDL扩展到电路设计；3. 正式描述和改进异步电路编译中使用的优化；和4。研究已实现电路在各种参数下的性能。