程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 全部资料 500 份
结合覆盖率驱动技术的RVM验证方法学在SOC验证中的应用
本文首先介绍RVM验证方法学和覆盖率驱动技术，然后详细分析如何使用结合覆盖率驱动技术的RVM验证方法学对SOC(S
2023-12-31
7
设计与验证Verilog HDL（吴继华）
设计与验证Verilog HDL【作者：王诚、吴继华；出版社：人民邮电出版社】 本书以实例讲解的方式对HDL语言的设计方法进行介绍。全书共分9章，第1章至第3章主要介绍了Verilog HDL语言的基本概念、设计流程、语法及建模...
2013-11-19
159