POWRE: Functional and Physical Co-Analysis in Timing Verification

POWRE：时序验证中的功能和物理协同分析

• 批准号: 9973797
• 负责人: Soha Hassoun
• 金额: $ 7.5万
• 依托单位: Tufts University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-08-15 至 2001-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9973797&HistoricalAwards=false
• 关键词: POWRE; Functional; Physical; Co; Analysis

EIA-9973797Hassoun, SohaTufts UniversityCISE/POWRE: Functional and Physical Co-Analysis in Timing VerificationThis is exploratory work in innovative timing analysis that considers the interaction among the physical, functional, and timing aspects of a circuit. The proposed approach is based on developing a novel gate delay model, the dynamically bound delay model, that can accurately capture delay variations due to physical, functional, and timing interactions. The PI will also investigate timing analysis algorithms that complement the model. The novel delay model and comparable algorithms will allow analyzing and verifying the temporal behavior of large sequential circuits while co-analyzing the layout and functional effects. The research will be utilized to advance the PI's academic and research career.

ei - 9973797hassoun， SohaTufts大学cise / power：时序验证中的功能和物理协同分析这是创新性时序分析的探索性工作，考虑了电路的物理，功能和时序方面之间的相互作用。所提出的方法是基于开发一种新的门延迟模型，即动态绑定延迟模型，该模型可以准确地捕获由于物理，功能和时序相互作用而导致的延迟变化。PI还将研究补充该模型的时序分析算法。新的延迟模型和可比较的算法将允许分析和验证大型顺序电路的时间行为，同时共同分析布局和功能效果。该研究将用于促进PI的学术和研究事业。