登录
首页 » Others » systemverilog验证 (张春) 源代码 (http://chris.spear.net/systemverilog/已经打不开了)

systemverilog验证 (张春) 源代码 (http://chris.spear.net/systemverilog/已经打不开了)

于 2020-12-04 发布
0 350
下载积分: 1 下载次数: 6

代码说明:

《systemverilog验证》讲解了SystemVerilog语言的工作原理。介绍了类、随机化和功能覆盖率等测试手段和概念,并且在创建测试平台方而提供了很多引导性的建议。《systemverilog验证》借助大量的实例说明SystemVerilog的各种验证方法,以及如何根据实际的应用情况选择**的方法达到尽可能高的覆盖率。而且,重点演示了如何使用面向对象编程(OOP)的方法建立由覆盖率驱动并且受约束的基本的随机分层测试平台,此外,还论述了SystemVerilog与C语言的接口技术。

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • MDK_ARM V5.26注册机Kengen
    ARM开发环境MDK目前最新版V5.26注册机Keygen,这个注册机支持当前的所有版本,包括当前最新的5.26,而且使用这个注册机,不再需要注册RL-ARM,就可以直接使用MDK中带的emWin。该工具仅供广大学习爱好者学习使用,学习结束后请主动删除工具,请勿用于商业用途,如果觉得开发环境对你用处很大,鼓励大家学习后购买官方开发环境使用。本人亲测V5.26成功激活。特别提醒:使用该工具时,MDK必需使用管理员权限运行,否则会失败。
    2020-12-06下载
    积分:1
  • 嵌入式课设计 万年历 源码+报告
    哈工程嵌入式课程设计万年历,源码+实验报告,完成日历显示、整点报时、闹钟、时间的图形显示和数字显示。
    2020-12-12下载
    积分:1
  • android蓝牙接收单片机数据并绘制波形
    android蓝牙接收单片机数据并绘制波形
    2020-12-05下载
    积分:1
  • [稀有资源]PKPM地震波文件
    PKPM地震波库(天然波)分类方式同PKPM地震波已进行归一化处理
    2020-12-11下载
    积分:1
  • c语言实现pl0译器的扩充
    c语言实现pl0编译器的扩充:if 条件 then 语句 else 语句for 变量=初始值 to 终止值 begin 语句 enddowhile 语句 until 条件
    2020-11-29下载
    积分:1
  • 反步法实现对路径的追踪(matlab 实现backstepping控制)
    backstepping对于圆、直线的追踪,可以通过它学习相关对于追踪方面的知识-backstepping for circle track can learn relevant knowledge through its respect for tracking
    2020-12-05下载
    积分:1
  • 房价模型(数学建模)
    【实例简介】很好的关于房价的模型和预测模型,选取我国具有代表性的几类城市对房价的合理性及房价的未来走势等问题进行定量分析;根据分析结果,进一步探讨使得房价合理的具体措施,以及可能对经济发展产生的影响,并进行定量分析。
    2021-11-02 00:31:00下载
    积分:1
  • sscom官方最新版本
    sscom5.13.1是sscom串口工具的最新版本,解决了usb插拔死机的问题
    2020-12-09下载
    积分:1
  • 96-Site_DKA-MasterMeter1.csv.gz
    该数据是澳大利亚太阳能研发中心的光伏发电功率数据,包括发电功率,风速,光照,降雨量,温度,湿度等影响因子。可以用于个人研究,模型训练,毕业设计等
    2021-05-07下载
    积分:1
  • 基于FPGA的自动售货机(verilog语言)
    设定好商品,按键1选择商品,按键2、3、4为投币,再次按下按键1购买,然后再数码管上显示余额,若不够买,则显示ER
    2020-11-28下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载