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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 大气透过率计算软件ModTran4
    大气透过率计算软件MODTRAN4,可以用于计算大气透过率
    2020-11-29下载
    积分:1
  • 良/恶性乳癌肿瘤数据集breast-cancer-train
    breastcancer数据集  机器学习初学者最常用的数据集
    2020-02-21下载
    积分:1
  • read_grib_r4
    read_grib包可以在matlab中读取grib格式的天气数据二、安装步骤【在matlab中导入read_grib包】1.将read_grib包解压到D盘(或者其他盘)我的是解压到D:ead_grib1.4.02.设置matlab对于该包的搜索路径,步骤如下:在matlab主页中点击【设置路径】3.进入设置路径界面,操作步骤如下图需所示:选择添加并包含子文件夹,选择你read_grib包解压的目录即可,然后保存4.如果添加成功的,在matlab命令行输入read_grib,应该会弹出帮助界面。5.此时还需要编译目录中的一个BDS_unpack_mex5.c文件
    2020-12-08下载
    积分:1
  • 双向lstm.py
    双向lstm.py
    2021-05-06下载
    积分:1
  • 城市综合应急系统设计方案
    【实例简介】城市综合应急系统设计方案 术语解释 5 第一部分 项目背景和目标 6 1. 项目背景 6 2. 系统总体目标及建设内容 7 2.1总体目标 7 2.2 建设内容 7 2.3 系统一期目标及建设内容 8 2.4 系统后续各期目标及建设内容 9 第二部分 系统需求分析和应急模型 9 1. 各子联动指挥中心Sub ERC的现状 9 1.1 110子联动指挥中心Sub ERC 9 1.2 119消防子联动指挥中心Sub ERC 9 1.3 122交通子联动指挥中心Sub ERC 10 1.4 120急救子联动指挥中心Sub ERC 10 1.5 存在的问题 10 2. 应急指挥组织模型 11 2.1 组织模型层次 11 2.2 应急业务模型 12 第三部分 一期工程系统设计 17 1.系统设计原则 17 2. 编写依据及参考 17 2.1 国家法规及标准 17 2.2 行业标准 17 3. 系统总体设计 17 3.1系统组成设计 18 3.2系统的层次结构设计 20 3.3系统的拓扑结构 21 3.4 系统流程 22 4. 数据及数据库设计 23 4.1 地图数据 23 4.2 数据库平台选择 26 4.3 C/S和B/S混合架构应用模式 26 5. 市政府应急决策指挥中心DMC设计 26 5.1 GIS系统 27 5.2 GPS车辆跟踪系统 28 5.3 领导辅助决策系统 29 5.4 综合协调PRouter 30 5.5 移动指挥调度系统 30 5.6 呼叫中心 33 5.7 数字录音系统 38 5.8 大屏幕显示系统 40 5.9系统接口设计 47 5.9.1与GYGIS的接口 47 5.9.2 DMC与移动指挥车的接口 47 5.9.3 DMC与省政府应急指挥系统的接口 47 5.9.4 DMC与联动单位指挥中心的接口 47 5.9.5 通讯接口 48 5.10应急管理数据库和方预案 49 5.10.1.案事件数据库管理 49 5.10.2资源管理系统 50 5.10.3方(预)案制作、启动、跟踪、终止与检索 51 方(预)案制作 51 方(预)案的启动 52 跟踪方(预)案的实施 53 跟踪方(预)案的终止 54 检索和查询方(预)案 54 5.10.4.专家库 55 6.防洪、空气质量和疾病控制系统与应急指挥系统的集成 55 7. 120急救指挥中心设计 58 7.1.1基本调度功能 59 7.1.2组网功能 59 7.1.3 IVR 和CTI功能 59 7.1.4 辅助功能 61 1) 维护管理 61 2) 录音播放设备 61 3) 数字话机 61 7.1.5 车辆定位和监控 61 7.1.6 业务功能 62 7.1.7数据库设计 63 8. 公安110指挥中心 63 系统结构 64 系统功能 64 9. 消防119指挥中心 67 9.1系统结构 67 9.2系统功能 67 9.3 数据 71 9.4 火灾汇报 72 10. 公安交通122指挥中心 72 系统结构 72 系统功能 73 接口开发 76 数据 76 特大交通事故汇报 76 汇报内容 76 11. ERS系统管理 77 字典维护 77 数据备份与恢复 77 12. ERS安全管理 77 1. 用户管理 78 2. 角色管理 78 3.权限划分 79 13. ERS性能管理 79 第四部分 一期工程系统实施 80 系统实施步骤 80 系统调研 80 概要设计 81 详细设计 81 程序编码及设备的购置、安装、调试 82 系统集成 82 系统调试 82 系统验收 82 系统维护 82 项目组织机构 82 项目领导小组 82 项目工程实施小组 83 项目技术支持小组 83
    2021-11-18 00:41:04下载
    积分:1
  • Altium designer超全元件库+封装库(部分3D)
    很全的AD封装库和元件库,解压后是SchLib和PCBLIB各一个包,安装很方便。分享给大家。
    2020-05-29下载
    积分:1
  • 毕业设计-RSA算法(源代码+论文+ppt)
    毕业设计-RSA算法(源代码+论文+ppt)包括rsa算法源代码和论文
    2020-12-01下载
    积分:1
  • 餐饮管理系统(完整可运行)ASP.Net+SqlServer
    本系统是基于Asp.Net框架,利用C#编程语言开发的餐饮管理系统,实现了顾客点餐,统计支付,并有点外卖功能,管理员可以管理菜品(比如上传图片),人事调动(增删改查信息),并配有开发报告。
    2020-12-05下载
    积分:1
  • MATLAB简介+图像轮廓线提取+图像分割技术
    包含了MATLAB基础简介,图像轮廓线提取和图像分割技术。内含m文件代码,黏贴即可运行。
    2020-12-06下载
    积分:1
  • C数据结构课设计人机,网络,双人对战20*20五子棋游戏源码(包含课设计文档)
    用C语言写的一个数据结构课程设计,该程序实现了20*20棋盘大小的五子棋人工智能对战游戏程序,支持网络对战、支持双人游戏、支持棋局录制与重放,还有音乐播放功能 。(最重要的是包含课程设计文档,和程序的源代码)。
    2021-05-07下载
    积分:1
  • 696518资源总数
  • 105540会员总数
  • 37今日下载