新工具实现分级验证

出 版 物：《电子设计技术 EDN CHINA》 (EDN CHINA)

年 卷 期：2004年第11卷第9期

页      码：28-28页

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

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

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203120812...