《数字集成电路设计验证:量化评估、激励生成、形式化验证》978-7-03-027609-4.pdf-李晓维著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 数字集成电路设计验证:量化评估、激励生成、形式化验证; 作者：李晓维著; 出版社：科学出版社; ISBN：978-7-03-027609-4; 出版年：2010

数字集成电路设计验证:量化评估、激励生成、形式化验证简介

本书共分十五章。内容包括绪论, 寄存器传输级行为描述抽象方法, 基于可观测性的覆盖率评估方法, 基于错误传播概率的量化分析方法, 模拟验证的激励生成概述, 基于传输故障模型的寄存器传输级激励生成等。

这本纸质书在哪买最划算？

推荐以下三个渠道：

  点击前往：豆瓣读书

  点击前往：京东读书

  点击前往：当当图书