RIA -- MTV: A Multiple Event Timing Verifier

RIA——MTV：多事件计时验证器

• 批准号: 9111146
• 负责人: Miriam Leeser
• 金额: $ 6万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-07-01 至 1993-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9111146&HistoricalAwards=false
• 关键词: RIA; MTV; Multiple; Event; Timing

This research is on verification of circuit timing properties. The approach is to develop a multiple event timing verifier, which operates at gate level, represents multiple transitions on signals, and works on synchronous as well as asynchronous circuits. Algorithms that perform analysis in low order polynomial time and use a data representation that accurately captures the digital behavior of the system are being explored. Algorithm designs and related software being developed include functions such as: verifying circuits with non-trivial input timing, allowing multiple transitions on signals, doing functional analysis to eliminate false paths, allowing designers to input and examine data easily, verifying different clocking disciplines, and detecting various timing problems, such as clock rate not met, pulse shortening, hazards and races.

本研究是对电路时序特性的验证。该方法是开发一个多事件定时验证器，它在门级操作，表示信号的多个转换，并在同步和异步电路上工作。正在探索在低阶多项式时间内执行分析并使用准确捕获系统数字行为的数据表示的算法。正在开发的算法设计和相关软件包括以下功能：验证具有非平凡输入时序的电路，允许信号上的多个转换，进行功能分析以消除错误路径，允许设计人员轻松输入和检查数据，验证不同的时钟学科，并检测各种时序问题，例如时钟速率不满足，脉冲缩短，危险和比赛。