摘要：由于微电子技术的迅速发展和系统芯片的出现 ,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大 ,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作 ,出现了所谓“验证危机”。为了适应这种形势 ,电子设计和验证工具正在发生迅速而深刻的变革。现在基于 RTL 级的设计和验证方法必须向系统级的设计和验证方法过渡 ,导致了验证语言的出现和标准化 ,本文将对当前出现的系统级设计和验证语言进行全面综述 ,并论述验证语言标准化的情况。分析他们的优缺点和发展趋势。最后简单评述当前的验证方法 ,说明基于断言的验证是结合形式化验证和传统模拟验证可行的途径。

摘要：针对超大规模集成电路设计验证的复杂性,以多口以太网交换控制电路为验证对象,分析了高级验证语言的特点,研究了验证策略,设计了验证平台,实现了复杂电路的功能验证。验证结果表明,采用高级验证语言构建验证平台可有效地缩短验证周期、降低验证成本和提高验证质量。

摘要：本文针对目前芯片验证中出现的瓶颈问题,阐述了当前流行的验证技术和部分硬件验证语言。文中介绍了SystemC和E语言,以及多种功能验证技术。最后通过对Rana接口芯片的功能验证探讨了各种验证技术在芯片设计流程中的场合和时机。

摘要：针对传统数据验证方案在验证场所的单一性或验证场所分工不明确而导致的用户体验差、系统效率低,以及验证代码与系统其它模块耦合度较大的问题,提出了一种以验证复杂度为依据来进行验证场所在数据验证方面的明确分工策略。设计了一个在客户端采用事件监听减少客户端UI和验证代码的耦合度,在服务器端运用Aop和Valang分离数据验证模块和业务逻辑模块的方案。该方案能以少代码、低耦合的方式实现数据验证功能,并在实际项目中有较好的实用性。