节点文献

基于CDFG和OVL的系统验证性质分类

Property Classification for System Verification on CDFG Structure

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 ZHU Ming, BIAN Jinian, WU Weimin (Lab of Automation, Department of Computer and Science Technology, Tsinghua University, Beijing 100084)

【机构】清华大学计算机系设计自动化实验室；清华大学计算机系设计自动化实验室北京100084；北京100084；北京100084；

【摘要】在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。更多还原

【Abstract】 Based on the advantages of simulation and formal verification with CDFG structure, classified properties are proposed to activate their good qualities respectively. Improving on OVL assertions and CTL properties, three kinds of properties are defined and verified, and the experimental results demonstrate the scheme improves the verification efficiency and scale.更多还原

【关键词】模拟；形式验证；性质；模型检测；数据控制流图；
【Key words】 Simulation； Formal verification； Property； Model checking； CDFG；

【基金】国家自然科学基金资助项目(60273011);国家“863”高技术研究发展计划基金资助项目(2003AA115110)

【文献出处】计算机工程 ,Computer Engineering , 编辑部邮箱 ,2005年10期

【分类号】TP302
【被引频次】1
【下载频次】75

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献