验证高层综合操作流图等价性的一种有效形式方法

• 作者: 林争辉 王彬
• 来源期刊: 高技术通讯
• 关键词: 高层综合 模型检查 临界路径 操作流图
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 信息技术
• 页码范围: 7-11
• 页数: 5页
• 字数: 3223字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.2005.01.002

摘要

根据当前高层综合系统不跨越控制边界进行代码移动的特点,提出了临界路径的概念,将行为规范与RTL实现的操作流图分解成模型检查工具可以接受的验证目标.为了便于自动验证高层综合过程,给出了验证自动机模型.实验结果表明,应用该方法,可简化状态空间,得到更高的验证效率,并保证规范与RTL实现的一致性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林争辉	上海交通大学电子工程系	116	603	12.0	20.0
2	王彬	上海交通大学电子工程系	27	88	6.0	7.0