SystemVerilog验证方法学/(美)伯杰龙Janick Bergeron, 夏宇闻

附件:

设置1:

设置2:

设置3:

设置4:本书涵盖了所有最新的验证技术，其中包括: 验证计划制定、TestBench架构、受约束随机激励产生、以覆盖率为主导的验证、基于断言的验证、形式化分析，以及基于一个开放、完善的方法学上的系统级验证。

附注提要

本书涵盖了所有最新的验证技术，其中包括: 验证计划制定、TestBench架构、受约束随机激励产生、以覆盖率为主导的验证、基于断言的验证、形式化分析，以及基于一个开放、完善的方法学上的系统级验证。

暂无目录

(0)|| (0)

手机二维条形码

馆藏信息