本书讲解了SystemVerilog语言的工作原理,介绍了类、随机化和功能覆盖率等测试手段和概念,并且在创建测试平台方面提供了很多引导性的建议。本书借助大量的实例说明SystemVerilog的各种验证方法,以及如何根据实际的应用情况选择最优的方法达到尽可能高的覆盖率。而且,重点演示了如何使用面向对象编程(OOP)的方法建立由覆盖率驱动并且受约束的基本的随机分层测试平台,此外,还论述了SystemVerilog与C语言的接口技术。 本书可供具有一定Vetilog编程基础的电路工程技术人员使用,也可作为高等院校电子类、自动化类、计算机类的学生参考书。
2022-08-08 21:40:08 57.61MB System Verilog 验证 测试
1
SystemVerilog-语言支持 此VS Code扩展提供了更快读取,导航和编写SystemVerilog代码的功能。 特征 精心 转到文档中的符号( Ctrl+Shift+O ) 转到工作空间文件夹(已索引模块/接口/程序/类/程序包)中的符号( Ctrl+T ) 转到定义(适用于模块/接口/程序/类/程序包名称以及端口! )( Ctrl+LeftClick ) 在已建立索引的工作空间上快速入门 许多常见块的代码段 从已索引的模块实例化模块 带有模拟器的Linter Capabilites() 通过集成的SystemVerilog解析器和IntelliSense(完全符合IEEE标准1800-2017)进行快速实时错误识别 如果您发现错误或想要功能,则将其作为“请求或提交“ 例子 语法高亮 转到定义 模块实例化 推荐建议 如果您的工作空间中有网表,则可以在设置中排除它们,例如
2022-08-04 14:43:55 766KB 系统开源
1
SystemVerilog验证 测试平台编写指南: 添加目录: 添加目录: 添加目录: 添加目录:
2022-07-21 14:54:57 25.13MB SystemVerilog Verilog 验证 UVM
1
一个demo,关于UVM,完成的design和verification。希望有需要的朋友能看到
2022-07-15 11:37:36 1.42MB UVM Systemverilog verilof
1
包含system verilog / uvm 等相关讲义已经资料,适合IC设计,验证人员。
2022-07-13 18:10:00 136.08MB ASIC FPGA systemverilog uvm
述 将 ARM Cortex-M0 软微控制器实现到 KC705 中。该项目实现了一个包含以下组件的设计: Cortex-M0 混淆内核:ARM DesignStart 网站提供的内核 RAM 存储器:接受初始化文件的 RAM 存储器的实现 AHB3-lite 互连:负责在 AHB3-lite 协议中允许主从之间通信的互连 模式检测器:实现一个简单状态机的核心,当在其输入总线上看到模式“f0f0f0f0”时切换其输出 当板子打开时,cortex-m0 读取 RAM 内存,该内存是用一个程序合成的,该程序计数到一个固定的数字,然后将模式“f0f0f0f0”放在总线上。这会导致模式检测器切换其连接到 LED 的输出。对于综合,程序定义为最多计数 10,000,000。出于模拟目的,可以使用包含最多 200 个程序的内存文件。 要求 下面列出了该项目中使用的工具。但是,由于hdlmake提供的灵活性,它可以移植到不同的供应商/主板。 更多详情、使用方法,请下载后阅读README.md文件
2022-07-08 09:07:27 58KB systemverilog
便携式刺激 该存储库是位于此处的硕士论文的在线附录: Questa inFact已针对新的便携式刺激标准PSS进行了概念验证。 经证明,从单个描述生成的代码可用于UVM测试平台中IP,子系统和SoC级别的仿真,以及在CPU上运行的C代码。 生成的代码是激励,因此创建了驱动激励的框架。 这包括三个UVM测试平台和一个C代码。 储存库内容: UVM_Uart IP级别UVM测试平台的测试平台文件 UVM_外围设备子系统级别的UVM测试台的测试台文件 UVM_UartTop SoC级UVM测试台的测试台文件 FW_Uart C代码和用于运行它的SystemVerilog测试平台 实际代码inFact中创建的规则文件和生成的代码
2022-07-07 09:47:35 88KB SystemVerilog
1
用于 FPGA 开发的硬件模块集合。 这些已经在 DE0 Nano 的 Cyclone IV 上实现,尽管 SystemVerilog 文件目前是平台(制造商)独立的。 用法 目前,每个文件夹都应该包含一个独立运行的项目。一些项目引用了其他项目中的一些(或全部)文件。为了绕过单个用户特定的文件路径结构,文件:filepaths.sv包含一个宏,该宏包含此目录的文件路径(此 README.md 所在的位置)。 引出线 A 随意剪下激光切割机上的引脚图来替换原来的防尘罩。(.svg 文件是未更改的原始文件) 更多详情、使用方法,请下载后阅读README.md文件
2022-07-05 18:06:25 840KB systemverilog
bex 是用 SystemVerilog 编写的生产级开源 32 位 RISC-V CPU 内核。CPU 内核高度可参数化,非常适合嵌入式控制应用。Ibex 正在接受广泛的验证,并且已经看到多个流片。Ibex 支持整数 (I) 或嵌入式 (E)、整数乘除法 (M)、压缩 (C) 和 B(位操作)扩展。 下面的框图显示了带有 2 级流水线的小参数化。 Ibex 最初是作为PULP 平台的一部分以“零风险” 的名义开发的,并已贡献给lowRISC,后者对其进行维护和进一步开发。它正在积极开发中。 配置 Ibex 提供了多种配置参数,以满足各种应用场景的需求。这些选项包括乘法器单元架构的不同选择,以及一系列性能和安全特性。下表显示了一些选定配置的性能、面积和验证状态。这些是 lowRISC 专注于性能评估和设计验证的配置(请参阅支持的配置)。 更多详情、使用方法,请下载后阅读README.md文件
2022-07-05 09:07:20 2.87MB systemverilog
SystemVerilog HDL 和 TB 代码 zybo 7010 FPGA 上的深度神经网络硬件加速器实现以及 Vivado SDK 软件的 C 代码 下面的文件夹与此存储库中的源文件夹相同,它现在只是 Vivado 环境的一部分。 附加文件是 python 代码、C 文件和 Matlab 文件。 *Python 用于训练网络和获取系数:Weights and Biases *C 用于实现 Sigmoid 函数采样以及在 C 中实现前馈传播(只是为了使项目更易于调试) *Matlab 用于生成 HDL 脚本以及检查压缩和其他内容 更多详情、使用方法,请下载后阅读README.md文件
2022-07-05 09:06:49 22.07MB systemverilog