Supporting Sequential Assumptions In Hybrid Verification

Ed Cerny,Ashvin Dsouza,Kevin Harer,Pei-Hsin Ho,Tony Ma

ASPDAC（2005）

引用 6|浏览15

暂无评分

摘要

We present a method for using a. set of temporal properties (SVA, PSL, OVA, RTL monitors) as environment models for industrial-strength hybrid verification that combines formal methods with constrained random simulation. We demonstrate the effectiveness of the method on real-world designs.

查看译文

关键词

formal specification,formal verification,OVA monitors,PSL monitors,RTL monitors,SVA monitors,formal methods,hybrid verification,random simulation,sequential assumptions,

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要