没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
System Verilog Assertion简介
System Verilog Assertion简介
System
Verilog
Assertion
需积分: 15
6 下载量
135 浏览量
2012-08-20
14:01:27
上传
评论
收藏
749KB
DOC
举报
温馨提示
立即下载
System Verilog Assertion简介 简单、全面 中文文档 了解、上手SVA的上好资料
资源推荐
资源评论
System Verilog Assertion 简介
浏览：75
5星 · 资源好评率100%
System Verilog Assertion 简介 中文版的介绍 简单、全面的概括了SVA的基础知识
system verilog 概述
浏览：50
system verilog assertion 简介及简单例子的仿真
systemverilog_assertion.pdf
浏览：176
验证与设计不同，尤其是初学者，验证会成为一盘散沙——无规可循。然而 为了能够实现验证平台的重用，需要标准的验证语言和标准的验证库。这样一来 在验证的过程中只需要调用验证库中的库单元就可以实现验证的重用。所以为了 解决验证的混乱局面，特此依据 Synopsys 的 SVL 库进行翻译，该库与 OVL 的 使用方式相同，每次的检查对象仅需要例化对应的库单元就可以实现。 其原文来自于 Synopsys
SystemVerilog Assertion断言理论与实践.rar
浏览：121
1小时玩转数字电路.rar AHB-SRAMC和FIFO的设计与验证.rar clock skew.rar IC攻城狮求职宝典.rar linux basic.rar Linux EDA虚拟机 - 个人学习IC设计.rar Perl语言在芯片设计中的应用.rar SoC芯片设计技能专题.rar SystemVerilog Assertion断言理论与实践.rar SystemVerilog_Ass
System_verilog教程
浏览：146
5星 · 资源好评率100%
system verilog教程 很不错
System-Verilog-Assertions(SVA)-简介
浏览：9
System-Verilog-Assertions(SVA)-简介,断言，形式验证
system verilog assertion 应用指南 书中源代码
浏览：85
5星 · 资源好评率100%
system verilog assertion 应用指南 书中源代码 从学校图书管节的CD拷贝下来的 a practical guide for systemverilog assertions 清华大学出版社 美 Srikanth Vijayaraghavan 等编著 陈俊杰等译
systemverilog+assertions应用指南
浏览：69
systemverilog+assertions应用指南systemverilog+assertions应用指南
Writing Testbenches using System Verilog
浏览：190
4星 · 用户满意度95%
Writing Testbenches using System Verilog 英文原版的，学起来比较容易。 Writing Testbenches using System Verilog About the Cover xiii Preface xv Why This Book Is Important . . . . . . xvi What This ...
A Practical Guide for SystemVerilog Assertions
浏览：185
5星 · 资源好评率100%
单独介绍system verilog中assertion的语法及应用，由浅入深，非常全面地讲述了assertion
SystemVerilog Assertions and Functional Coverage.pdf
浏览：168
Ashok B. Mehta (auth.) - SystemVerilog Assertions and Functional Coverage_ Guide to Language, Methodology and Applications-Springer ...非常好的学习验证的中文资料，尤其是assertion 。极力推荐。
SystemVerilog IEEE1800-2017 官方英文文档
浏览：4
本文件主要介绍SystemVerilog的语法知识，包含最基础的变量类型，接口、以及OOP的简单介绍，此外还包含了线程通信，随机化验证、功能覆盖率的知识以及少量的systemverilog assertion的应用介绍。
SVA_ The Power of Assertions in SystemVerilog
浏览：189
Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny (auth.) - SVA_ The Power of Assertions in SystemVerilog-Springer International Publishing (2015)
stem_verilog assertions应用指南
浏览：92
3星 · 编辑精心推荐
关于systemverilog断言的应用指南
SystemVerilog Reference Manual 3.1a（中英文版）+最新SV IEEE 标准
浏览：73
3星 · 编辑精心推荐
Table of Contents Section 1 Introduction to SystemVerilog ...................................................................................................... 1 Section 2 Literal Values.............
一本SVA的外语书《Power of Assertions in SystemVerilog》，详细，清晰！
浏览：72
5星 · 资源好评率100%
EDA tools, SystemVerilog Assertion standardization, and many years of practical experience. One of the goals of this book is to expose the oral knowhow circulated among design and verification ...
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：139
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：82
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路，实现以下功能：用低频信号源产生ui1=0.1sin2πft（V），f=500Hz的正弦波信号，加至加法器的输入端，加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量，选出f信号为uo2，uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览：143
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：173
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：2
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：52
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
Landsat_WRS2.zip
浏览：186
5星 · 资源好评率100%
本资源为WRS2全球条带号分幅情况SHP文件。WRS，即Worldwide Reference System，是Landsat系列卫星全球影像标记符号系统，用以区分全球各区域对应的Landsat系列卫星影像编号；其用“Path”与“Row”两个数值确定影像的编号与位置。其中，Landsat 1、2、3卫星对应编号系统为WRS-1，Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-
最全的Visio形状/图形库
浏览：68
从不同地方搜集整理出来的Viso图标，全部文件都是Visio图形库的标准格式：VSS格式，内含有51个文件，分别对应类别。内容比较全面，包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
AxureRP9项目原型50套、案例20个、元件库1套.zip
浏览：33
AxureRP9项目原型50套、案例20个、元件库1套。非原创，其中一批比较好的案例值得参考，元件库直接可用，简洁美观。分享给需要的人。
北理工+成电+东南——通信/信号保研面试真题.pdf
浏览：81
本文档整理了本人在2019年推免过程中，面试老师问到的问题，本文具体包括以下三所院校：北京理工大学雷达技术研究所；电子科技大学泛在无线网络实验室、多维信息感知实验室、图像处理研究所；东南大学移动通信国家重点实验室。对于面试中涉及到的专业课问题，我在面试结束后查阅书籍并给出了个人解答，仅供参考。
数字信号处理——保研复习资料.pdf
浏览：87
本文档为数字信号处理（DSP）复习文档，参考书籍为高西全老师主编的《数字信号处理——原理、实现及应用》第二版，全文共33页，包含以下内容： 一、绪论 二、时域离散信号与系统 三、时域离散信号和系统的频域分析 四、离散傅里叶变换（ DFT）及其快速算法（ FFT） 五、模拟信号数字处理 六、数字滤波器 七、IIR数字滤波器（ IIRDF）设计 八、FIR数字滤波器（ FIRDF）设计 九、少量经
风电和储能并网Simulink模型
浏览：139
3星 · 编辑精心推荐
在MATLAB2017a中搭建了风电和储能并网Simulink模型，风机采用传统的双闭环矢量控制策略，电池储能系统采用的是PQ矢量控制策略，可以稳定的向电网传输功率，电压电流波形较好。
使用STM32F103C8T6+L298N+MG513P30电机使用外部中断法和输入捕获法进行编码器测速
浏览：11
5星 · 资源好评率100%
使用STM32F103C8T6+L298N+MG513P30电机使用外部中断法和输入捕获法进行编码器测速，配套博客使用
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
kriayamatoo
粉丝: 15
资源:
69
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
1.0.9.apk
c语言+基础知识+声明语法、标准库文档、指针、函数等基础知识
Audio-Editor-Music-Editor-Pro-1.01.51.1214.apk
万国觉醒GM+全员内购+GM后台
s12010-023-04318-y.pdf
Qt波形显示新增vofa串口协议
关于计算机基础知识的学习笔记
KLWP3.74.apk
Sora大模型关于颜色和光线的提示词技巧
软件测试-UnitTest
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
