Computer-Aided Design Tools for Asynchronous Circuits

异步电路计算机辅助设计工具

• 批准号: 9502386
• 负责人: Peter Beerel
• 金额: $ 12.56万
• 依托单位: University of Southern California
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-06-01 至 1998-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9502386&HistoricalAwards=false
• 关键词: Computer; Aided; Design; Tools; Asynchronous

This research is on the development of methods for synthesis and verification of asynchronous circuits. The approach is to extend approximation techniques for state exploration, that have been successfully applied to speed-independent circuits, to semi-custom timed circuits. Tools and techniques being developed include: 1. estimators of circuit area, performance, and power at architectural, gate, and circuit levels; 2. a synthesis tool that accepts behavioral specifications and derives gate-level circuits; and 3. a hierarchical verification tool for timed circuits. The verification and synthesis tools are integrated so as to support advanced logic optimizations.

本研究旨在发展异步电路的综合与验证方法。 该方法是扩展近似技术的状态探索，已成功地应用于速度无关的电路，半自定义定时电路。 正在开发的工具和技术包括：1。 电路面积，性能和功耗在架构，门和电路水平的估计; 2.接受行为规范并导出门级电路的合成工具;以及3.一种用于定时电路的分层验证工具。 集成了验证和综合工具，以支持高级逻辑优化。