论文部分内容阅读
对软件进行检测和验证是保证软件可靠验证标准C程序的工具--标准C语言的有界模型检测工具CBMC,它可以对用Verilog语言建好的硬件电路进行检测.文章介绍了CBMC的基本功能、基本用法和它在Windows平台下的安装使用;然后用CBMC检测了一个Verilog语言设计的电路,结果表明,使用CBMC进行硬件验证是一个值得重视的方向.