Certitude™方法前言:尽早应用实现卓越价值

Certitude™功能验证品管系統(Certitude™Functional Qualification System) 可以找出验证环境中的缺陷与弱点,避免遗漏RTL代码中的错误。尽管Certitude可以在验证流程中的不同时间点采用,但经验表明,在早期以渐进方式使用Certitude是最佳的方式 – 可以立刻提供价值并持续改善验证环境,同时与其它验证活动均衡使用资源

我应该在什么时候开始执行功能验证呢?
在开始功能验证之前,需要完成RTL代码的功能描述,并且准备好一套仿真测试来检查RTL代码的功能。不过,这并不是要求所有的仿真测试都必须完成然后才能开始功能验证。实际上,只需要进行少量的仿真测试,用户就能深入透视验证环境。例如,在早期阶段,certitude可以用缺陷分类为基础的优先算法在设计中注入一套输出-锁定的缺陷,验证工程师应该只需要用很少的功能测试和最基本的检查器与断言就能检查到这些类型的缺陷,而侦测不到这些粗略缺陷的验证环境很可能会遗漏重大的RTL错误。

那么,我已经验证过本公司环境的基本面-接下来该如何呢?
随着测试的逐步完善,可以递增式地执行验证。例如,完成测试"smoke suite",即一套可以检查设计的主要功能,并且可以当作第一阶段sign-off,从而把设计放入到设计数据库中去的标志。它需要更广泛地采用功能验证以便更完善地度量验证环境的质量,并找出会导致"smoke suite"无效的漏洞与弱点。再者,在对成熟的验证环境进行更深一步的stress-test时,使用一套扩展的缺陷集,certitude的缺陷优先级自动排序功能可以用来指导验证流程。

好消息:递增式验证捷报纷传
Certitude的功能验证是一个渐进的过程,随着您改善自己的验证环境,certitude可以保证以前找不到的缺陷都可以找到,再更深入探寻经过排序的缺陷列表,以检查验证环境的各个细节。作为用户,您可以很快提升验证环境--让您能够找出并修正问题,保证验证环境的健全--并且可以累积提升品质的成果,提供验证环境的完善评估。