新工具实现分级验证

Tool provides hierarchical verification

导出

摘要设计师都知道,用分级法进行电路设计能提高结果的质量,而且还常常能缩短开发时间.验证工程师常常对一个设计的各功能块单独进行验证,然后再将它们组合成电路,以便对组合成的系统实现确认测试.形式验证方法仍在演进之中,工程师在用分级方法进行形式验证时几乎得不到相应工具的支持.在许多情况下,形式验证工具不能处理大型设计,因此工程师不得不用人工方法随时掌握已验证的功能块,并创新自己的综合验证程序.

出处《电子设计技术 EDN CHINA》 2004年第9期28-28,共1页 EDN CHINA

关键词形式验证确认测试功能块开发时间系统实现电路设计工程师新工具演进质量

分类号 TN402 [电子电信—微电子学与固体电子学] TP311.5 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1CFan帮你攒[J].电脑爱好者,2010(7):106-106.
2戴汩.如何进行有效NodeB软件系统测试[J].电信网技术,2006(6):19-20.
3程俊.覆盖方法在HDL测试中的应用[J].电脑知识与技术,2010,6(5):3516-3517.
4方敏,张雅顺,李辉.混合系统的形式验证方法[J].系统仿真学报,2006,18(10):2921-2924. 被引量：16
5王青,杨孟飞.基于断言的形式验证方法应用研究[J].航天控制,2007,25(3):79-83. 被引量：1
6DC/DC微型电源模块[J].今日电子,2010(8):69-69.
7张瑞雪,郝春梅,王旭.计算机形式验证方法研究综述[J].中国电子商务,2011(5):69-69.
8袁志斌.软件开发的形式化方法[J].电脑与电信,2008(7):25-27.
9尹飞.形式验证方法[J].电子计算机,2002(1):24-28. 被引量：1
10Sharon Berlowits.先进制程衍生时序/合成相关性问题[J].中国电子商情,2016(6):30-31.

电子设计技术 EDN CHINA

2004年第9期

浏览历史

内容加载中请稍等...

新工具实现分级验证

相关作者

相关机构

相关主题

浏览历史