注重体验与质量的电子书资源下载网站
分类于: 云计算&大数据 设计
简介
Creating Assertion-Based IP (Integrated Circuits and Systems) 豆 0.0分
资源最后更新于 2020-11-21 03:03:49
作者：Harry D. Foster
出版社：Springer
出版日期：2007-01
ISBN：9780387366418
文件格式： pdf
标签： EECS
简介· · · · · ·
This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions Note that there many books published on assertion languages (...
