系统与设计
白皮书

本地化、系统级协议检查和覆盖关闭

看看Broadcom开发一个统一的、可伸缩的验证方法,包括模拟断言。

受欢迎程度

博通公司最近开发了一种统一的、可伸缩、验证方法基于快速的仿真平台。为了测试这个新环境,他们做了一个测试用例,这证明了他们可以断言,编译成快速的,准确,并验证他们火。这样做,他们能够提供的证据概念的主要目标:创建一个内部流从仿真验证断言与断言快速的模拟。

查看本白皮书,点击在这里



留下一个回复


(注意:这个名字会显示公开)

Baidu