在SystemVeri log更强调了利用随机化激励函数以提高验证代码的效率和验证可靠性的重要性。本文以VMM库为例,阐述了如何在SystemVeri 1og中使用随机化函数来编写高效率的测试代码,重点介绍了可重验证函数库的使用方法,以帮助读者理解如何使用SystemVeri1og高效率地完成复杂的设计验证。
资源简介:在SystemVeri log更强调了利用随机化激励函数以提高验证代码的效率和验证可靠性的重要性。本文以VMM库为例,阐述了如何在SystemVeri 1og中使用随机化函数来编写高效率的测试代码,重点介绍了可重验证函数库的使用方法,以帮助读者理解如何使用SystemVeri1og高...
上传时间: 2013-11-06
上传用户:偷心的海盗
资源简介:SystemVerilog 中的随机化激励.pdf
上传时间: 2013-12-04
上传用户:iswlkje
资源简介:《遗传算法理论应用与软件实现》中的初始化MATLAB源代码
上传时间: 2014-01-11
上传用户:ainimao
资源简介:概率算法! 圆排列的随机化算法,超快的!
上传时间: 2015-02-26
上传用户:nanfeicui
资源简介:Verilog中的一个不用状态机和决断函数就可以实现多重函数赋值的例子,希望对你用帮助。
上传时间: 2014-01-14
上传用户:2525775
资源简介:数值分析中的复化求积公式实现的源代码
上传时间: 2016-06-18
上传用户:ywqaxiwang
资源简介:数值分析中的复化梯形公式求积的问题,程序中含输入/输出界面。
上传时间: 2016-10-11
上传用户:whenfly
资源简介:遗传算法是一类借鉴生物界自然选择和自然遗传机制的 随机化搜索算法。 它是模拟达尔文的遗传选择和自然淘汰的生 物进化过程的计算模型。
上传时间: 2013-12-20
上传用户:skfreeman
资源简介:这是一个程序中的初始化程序,包含有GSM、ROM、AT8的程序,希望对大家有用。
上传时间: 2017-04-22
上传用户:bruce
资源简介:该文档为软件无线电中的信道化技术的研究总结文档,是一份很不错的参考资料,具有较高参考价值,感兴趣的可以下载看看………………
上传时间: 2022-02-16
上传用户:kent
资源简介:本书重点介绍硬件设计描述和验证语言 System Verilog的基本语法及其在功能验证上的应 用;书中以功能验证为主线,讲述基本的验证流程、高级验证技术和验证方法学,以 System Verilog为基础结合石头、剪刀、布的应用实例,重点阐述了如何采用 System Verilog...
上传时间: 2022-05-12
上传用户:
资源简介:本文:采用了FPGA方法来模拟高动态(Global Position System GPS)信号源中的C/A码产生器。C/A码在GPS中实现分址、卫星信号粗捕和精码(P码)引导捕获起着重要的作用,通过硬件描述语言Verilog在ISE中实现电路生成,采用MODELSIM、SYNPLIFY工具分别进行仿真和综...
上传时间: 2015-12-01
上传用户:李彦东
资源简介:本文:采用了FPGA方法来模拟高动态(Global Position System GPS)信号源中的C/A码产生器。C/A码在GPS中实现分址、卫星信号粗捕和精码(P码)引导捕获起着重要的作用,通过硬件描述语言Verilog在ISE中实现电路生成,采用MODELSIM、SYNPLIFY工具分别进行仿真和综...
上传时间: 2013-08-31
上传用户:pwcsoft
资源简介:Verilog编码与综合中的非阻塞性赋值
上传时间: 2013-12-23
上传用户:杜莹12345
资源简介:基于BSP 和L-System 植物的随机生成和模拟的研究
上传时间: 2013-12-10
上传用户:sxdtlqqjl
资源简介:一个批量改名工具,可用用来对整个文件夹中的文件进行随即命名,从而使某些没有随机播放功能的MP3播放机实现"随机"播放
上传时间: 2014-01-25
上传用户:2467478207
资源简介:Matt Pietrek 著的《Windows 95 System Programming SECRETS》(中文译名:《Windows 95 系統程式設計大奧秘》)中的第8章,专门介绍WINDOWS的PE文件格式,非常有价值,这个是由这章单独整理出来的。
上传时间: 2015-03-17
上传用户:日光微澜
资源简介:matlab在系统辨识中的应用此处为对具有随机噪声的二阶系统的应用的源代码及运行后结果(包括图像)
上传时间: 2015-03-23
上传用户:lgnf
资源简介:一个人与机器对战的五子其程序. 开始时随机选择先下的一方,以网页中的Applet实现.
上传时间: 2014-01-02
上传用户:lixinxiang
资源简介:此为单片机MSP430系列中常用的初始化命令和串口异步通信的简单示例.
上传时间: 2015-03-24
上传用户:lindor
资源简介:此程序可以把编译原理中的不确定的有限自动机确定化,是编译中课程设计的内容
上传时间: 2015-03-31
上传用户:CSUSheep
资源简介:PClint,一个非常严格的C/C++编译器, 可以嵌入到VC.GCC等.它甚至能够检查出你C/C++代码中的内层泄漏问题,变量未初始化问题,不安全的使用指针等...微软公司把它作为代码检查工具,只有通过它才能正式发行
上传时间: 2014-01-22
上传用户:woshiayin
资源简介:目标:手工选择视频图像上的待跟踪目标;利用块匹配的方法估计目标区域在下一帧图像中的位置;循环这个过程直到目标从图像帧中消失。 技术:avi视频流的帧读取;图像帧存储格式的了解;RGB图像的灰度化;灰度图象的平滑滤波;块运动估计算法的实现;使用MFC...
上传时间: 2015-04-15
上传用户:hfmm633
资源简介:这是一个计算图像中的欧拉数的程序.先将图像二值化,然后再求反计算欧拉数
上传时间: 2014-01-27
上传用户:源弋弋
资源简介:PWS_DSPC 汉化的数字信号处理工具箱1.0版中的Matlab 函数
上传时间: 2013-12-19
上传用户:hjshhyy
资源简介:一个用JAVA编辑的L-System中的生长树案例
上传时间: 2015-05-05
上传用户:ghostparker
资源简介:这个例子如果运行,将在仿真的PC窗口中的第1,2,3行显示一些信息后,在随机位置显示 1 ~ 5 .由于keil c51默认不支持重入函数,它的重入函数使用仿真的重入栈而不使用系统栈,而Small RTOS 51没有进行重入栈管理,所以在TaskA~TaskE虽然及其相似,但不能合并. 注意:(...
上传时间: 2015-05-29
上传用户:无聊来刷下
资源简介:该压缩包中的程序实现对图像的平滑和锐化,其中采用多种方法实现平滑(包括均值滤波,中值滤波,顺序统计滤波)和锐化(包括采用Sobel算子和高通滤波)。
上传时间: 2013-12-15
上传用户:wqxstar
资源简介:完成Windows程序中计算器中的所有功能,使用类似Windows计算器的图形界面; (2) 使用可视化方法设计,并编写合适的按钮和菜单事件代码; (3) 使用delphi语言编写代码 程序具有处理异常的能力,以防止用户输入和操作错误而导致的异常
上传时间: 2015-06-20
上传用户:hxy200501
资源简介:经典的Verilog语言学习课件,介绍了语言的基础知识,和实际中该语言的应用包括DSP 设计中的各个方面.
上传时间: 2014-01-24
上传用户:wqxstar