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

附件:

设置1:伯杰龙

设置2:

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

附注提要

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

暂无目录

(0)|| (0)

手机二维条形码

馆藏信息

序号	索书号	码号定位	层架信息	馆藏地点	馆藏状态	借出日期	还回日期	卷册说明