验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
用Delphi对XML进行增删改操作示例
上传时间： 2016-10-31
上传用户：litianchu
一个自己编写的柔性制造的仿真软件,完全是自己编写的软件源码
上传时间： 2016-11-01
上传用户：zhangliming420
偶图最大匹配完全照算法说明利用集合运算实现的matlab代码。这里需要大家讨论的是增广路的选取的算法，希望朋友们多多讨论，争取找一种更好的增广路方法，有想法的一定告诉我，谢谢，jxrhhu@hhu.edu.cn
上传时间： 2013-12-05
上传用户：hebmuljb
光纤光缆技术发展以及在FTTH中的应用 综述了近期光纤光缆制造、施工及维护技术上的发展特点，分析了其发展趋势，并就我国光纤光缆技术与产业的发展提出了一些值得思考的问题。FTTH正在走入人们实用化的视野，国内外很多光缆生产厂商或研究所都提出了自己的构想，本文着重介绍了FTTH应用中的一些典型的光纤及光缆技术，对FTTH在我国的发展前景做了分析，并提出了自己在FTTH发展中的一些观点。
上传时间： 2016-11-14
上传用户：manking0408
CMOS集成电路设计与制造的主要流程框架
上传时间： 2013-12-21
上传用户：13160677563
“信息机”一指禅——制造行业0703.doc
上传时间： 2016-11-20
上传用户：nanfeicui
该程序可实现将样本集转化为增广模式向量，固定增量法求解权向量。
上传时间： 2016-11-27
上传用户：chens000
利用FFT与IFFT制造满足平滑设计谱之人造地震波
上传时间： 2016-12-01
上传用户：jyycc
第一部分 基础篇 实例1 第一个C程序 2 实例2 求整数之积 6 实例3 比较实数大小 8 实例4 字符的输出 10 实例5 显示变量所占字节数 11 实例6 自增/自减运算 13 实例7 数列求和 14 实例8 乘法口诀表 17 实例9 猜数字游戏 19 实例10 模拟ATM(自动柜员机)界面 22 实例11 用一维数组统计学生成绩 24 实例12 用二维数组实现矩阵转置 26 实例13 求解二维数组的最大/最小元素 29 实例14 利用数组求前n个质数 31 实例15 编制万年历 33 实例16 对数组元素排序 36 实例17 任意进制数的转换 37 实例18 判断回文数 39 实例19 求数组前n元素之和 41 实例20 求解钢材切割的最佳订单 42 实例21 通过指针比较整数大小 44 实例22 指向数组的指针 48 实例23 寻找指定元素的指针 50 实例24 寻找相同元素的指针 52 实例25 阿拉伯数字转换为罗马数字 53 实例26 字符替换 56 实例27 从键盘读入实数 57 实例28 字符行排版 59 实例29 字符排列 60 实例30 判断字符串是否回文 62 实例31 通讯录的输入输出 63 实例32 扑克牌的结构表示 68 实例33 用“结构”统计学生成绩 69 实例34 报数游戏 72 实例35 模拟社会关系 73
上传时间： 2016-12-04
上传用户：lz4v4
