作者:Richard Goering
不管是芯片还是嵌入式软件,验证过程总是要占据设计周期中的大量时间。前不久举行的设计与验证研讨会,透露出这样一个明确讯息:突破验证瓶颈之道,在于提高设计质量,减少差错(bug)。
Richard Goering,EE Times的EDA执行主编。
若要求工程师们的设计不存在差错显然是不可能的,但有可能作一些改变来减少差错。例如,工程师可以一开始就以明确、可执行的规范来指导设计的过程。目前Matlab或C/C++模型经常被用做设计的起点,但在执行设计时又常常被抛开。而SystemC有可能与设计开始后面的执行进行链接,并且可能作为嵌入式软件和硬件的代表,但首先,设计人员需要可靠的工具,并懂得如何写正确的SystemC代码。
此外,采用正式交流方式来表达设计意图,也会产生积极作用。这可以通过一些特性或高标准的指标来表达。在HDL??L代码中设置声明(assertion)就晚了,最好是在执行设计之前,先明确设计意图。
若有一个正式的设计模型存在,工程师们就可以在建模和接下来的执行中证明设计的特性和指标,从而可避免差错的发生。这样一个不具备精深数学知识的普通设计人员也可轻松进行设计。此外,验证人员也应该介入到最早期的设计中,设计人员必须从最开始就考虑到验证的需要,并对此担当起更多的责任。
最后一个问题是如何评估设计的质量。质量并不仅仅在于更少的差错、高功能覆盖或一次流片成功,尽管这些都很重要。问题还体现在设计过程的顺利程度,以及设计结果与最初的设计意图的匹配程度。
作者:Richard Goering
EE Times EDA执行主编
京公网安备 11011202001138号
