Timing Issues in the Design of Digital Systems

数字系统设计中的时序问题

• 批准号: 9404632
• 负责人: Karem Sakallah
• 金额: $ 52.51万
• 依托单位: Regents of the University of Michigan - Ann Arbor
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-08-15 至 1998-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9404632&HistoricalAwards=false
• 关键词: Timing; Issues; Design; Digital; Systems

This research is on a timing verification and optimization framework for designing an entire digital system (e.g. a microprocessor). The research builds on a widely used model for synchronous timing analysis and an efficient method for estimating gate and wire delays. The model is being extended to include relevant functional information in order to enhance accuracy. Components of the framework are: design decomposition to isolate critical elements; a path delay calculator; algorithms for finding synchronizer components; clock analysis algorithms; a symbolic sequential timing verification component; a hybrid timing-logic simulator; and design optimizers.

本研究是关于设计整个数字系统（例如微处理器）的时序验证和优化框架。该研究建立在一个广泛使用的同步时序分析模型和估计门和线延迟的有效方法之上。该模型正在扩展，以包括相关的功能信息，以提高准确性。该框架的组成部分是：设计分解以隔离关键元素；路径延迟计算器；寻找同步器组件的算法；时钟分析算法；符号顺序时序验证组件；混合时间-逻辑模拟器；设计优化器。