
SystemVerilog验证方法学-封面
【作 者】Janick Bergeron等著;夏宇闻等译
【形态项】 468
【出版项】 北京:北京航空航天大学出版社 , 2007.05
【ISBN号】7-81124-079-3
【中图法分类号】TN702
【主题词】集成电路-芯片-设计
【参考文献格式】 Janick Bergeron等著;夏宇闻等译. SystemVerilog验证方法学. 北京:北京航空航天大学出版社, 2007.05.
内容提要:
本书涵盖了所有最新的验证技术,内容包括:验证计划制定、TestBench架构、受约束随机激励产生、以覆盖率为主导的验证、基于断言的验证、形式化分析,以及基于一个开放、完善的方法学上的系统级验证。
常见问题
如何获取我想要的资源?
代找资源网不售卖任何资源,只代找资源,需要代找服务的小伙伴请添加客服QQ 1127720680
代找资源网不售卖任何资源,只提供代找服务
QQ客服
微信客服

评论0