UVM方法学验证中的高级话题

相 关 资 源

• Linux系统中的高级UNIX编程 PDF中文版(丛书)免费下载

  资源简介：Linux系统中的高级UNIX编程 PDF中文版(丛书)

  标签： Linux UNIX

  上传时间： 2013-11-17

  上传用户：虫虫虫虫虫虫

• Jtree是java中的高级GUI组件免费下载

  资源简介：Jtree是java中的高级GUI组件，运行该例子你会明白JTree是怎么实现的

  标签： Jtree java GUI

  上传时间： 2013-11-27

  上传用户：invtnewer

• Linux 系统中的高级 UNIX 编程免费下载

  资源简介：Linux 系统中的高级 UNIX 编程，有一定的难度，要有c基础的才能看懂！

  标签： Linux UNIX 编程

  上传时间： 2017-01-10

  上传用户：jackgao

• 数据库系统中的高级主题免费下载

  资源简介：数据库系统中的高级主题，英文好的可以看下。。。不想看英文的就算了。。。

  标签： 数据库系统

  上传时间： 2017-04-09

  上传用户：luke5347

• 电子系统热管理设计与验证中的结温估算与测量免费下载

  资源简介：针对电子系统容易出现的热失效问题，论述在电子系统的热管理设计与验证中，对半导体器件结温的估算和测量方法。通过测量半导体器件内部二极管参数，来绘制二极管正向压降与其温度关系曲线，进而求解出器件的结温估算值，以指导热管理设计；采用热分布测量和极...

  标签： 电子系统 热管理 测量 结温

  上传时间： 2013-11-10

  上传用户：jjq719719

• 架构设计方法学, 里面记录了一些常见的开发项目过程中的设计库和方法学.免费下载

  资源简介：架构设计方法学, 里面记录了一些常见的开发项目过程中的设计库和方法学.

  标签： 架构 中的设计 设计方法 记录

  上传时间： 2013-12-12

  上传用户：lifangyuan12

• 敏捷思维-架构设计中的方法学免费下载

  资源简介：敏捷思维-架构设计中的方法学

  标签： 架构设计

  上传时间： 2013-12-24

  上传用户：xlcky

• 对计算方法学中求线性方程组的高斯消去法的实现免费下载

  资源简介：对计算方法学中求线性方程组的高斯消去法的实现

  标签： 计算方法 线性 方程 高斯

  上传时间： 2014-12-07

  上传用户：zm7516678

• 基于ARM9的AFDX-ES SoC验证平台的构建与实现免费下载

  资源简介：以SoC软硬件协同设计方法学及验证方法学为指导，系统介绍了以ARM9为核心的AFDX-ES SoC设计过程中，软硬件协同设计和验证平台的构建过程及具体实施。应用实践表明该平台具有良好的实用价值。

  标签： AFDX-ES ARM9 SoC

  上传时间： 2014-12-30

  上传用户：huangld

• 百万门级专用集成电路的FPGA验证免费下载

  资源简介：随着设计规模的不断增加，芯片的平均设计门数已经超越百万级，验证已经成为设计流程中的主要瓶颈。目前，基于FPGA的硬件验证凭借其速度快、易修改的特性越来越受到验证工程师的青睐。 本文正是基于FPGA验证的思想，以一款光同步传输网(SDH)芯片的验证为例，展...

  标签： FPGA 门级 专用集成电路

  上传时间： 2013-05-17

  上传用户：宋桃子

• AES128bit加密算法。在PDF文档中有详细算法描述。程序打印出的内容为验证结果。对应文档中的33-34页最左侧的结果。不清楚的朋友可以给我发EMAIL.免费下载

  资源简介：AES128bit加密算法。在PDF文档中有详细算法描述。程序打印出的内容为验证结果。对应文档中的33-34页最左侧的结果。不清楚的朋友可以给我发EMAIL.

  标签： EMAIL AES 128 bit

  上传时间： 2015-01-11

  上传用户：大融融rr

• 用于自动生成javascirpt（类似.net中的验证控件）免费下载

  资源简介：用于自动生成javascirpt（类似.net中的验证控件），用jbuilder编写

  标签： javascirpt net 自动生成 控件

  上传时间： 2014-12-01

  上传用户：源码3

• sun公司开发的,java2核心技术,卷II:高级性能,包括一系列的高级java应用技术,如数据库德连接,高级swing,多线程,软件本地化等等,本文件中则包含该书中的所用实例,配合该书使用,使对ja免费下载

  资源简介：sun公司开发的,java2核心技术,卷II:高级性能,包括一系列的高级java应用技术,如数据库德连接,高级swing,多线程,软件本地化等等,本文件中则包含该书中的所用实例,配合该书使用,使对java的学习更具效率

  标签： java swing sun II

  上传时间： 2014-01-24

  上传用户：woshini123456

• 这是一个介绍面向对象方法学的电子书.他详细的介绍了面向对象的特性及思想.是一个能使读者快速学习的资料.免费下载

  资源简介：这是一个介绍面向对象方法学的电子书.他详细的介绍了面向对象的特性及思想.是一个能使读者快速学习的资料.

  标签： 对象 电子书 面向对象的

  上传时间： 2015-03-31

  上传用户：huql11633

• 课程设计的目的 通过课程设计进一步理解高级语言在计算机中的执行过程免费下载

  资源简介：课程设计的目的 通过课程设计进一步理解高级语言在计算机中的执行过程，加深对编译原理中重点算法和编译技术的理解，提高自己的编程能力，培养好的程序设计风格。同时通过某种可视化编程语言的应用，具备初步的Windows环境下的编程思想。解和掌握LL(1)语法分...

  标签： 高级语言 计算 机中 过程

  上传时间： 2015-04-08

  上传用户：sdq_123

• 用c++写一个售货员问题。这是高级算法中除了红黑树中最难的一个了。是研究生课程中的的程序实现免费下载

  资源简介：用c++写一个售货员问题。这是高级算法中除了红黑树中最难的一个了。是研究生课程中的的程序实现

  标签： 算法 树 研究生 程序

  上传时间： 2014-09-11

  上传用户：epson850

• 用VB实现的数据的统计描述 包括分布的矩---均值、平均差、标准差、方差和中位数的搜索、均值与方差的显著性检验等免费下载

  资源简介：用VB实现的数据的统计描述 包括分布的矩---均值、平均差、标准差、方差和中位数的搜索、均值与方差的显著性检验等

  标签： 方差 数据 分布 搜索

  上传时间： 2013-12-20

  上传用户：hopy

• 高级算法中的背包问题求解免费下载

  资源简介：高级算法中的背包问题求解，算法简便高效，主要解决动态规划0-1背包问题

  标签： 算法 背包问题

  上传时间： 2014-01-04

  上传用户：问题问题

• 本系统采用Visual C++语言编写,运用软件工程的思想, 采用面向对象分析、设计的方法学完成。通过建立系统的数据库,对象模型、动态模型、功能模型免费下载

  资源简介：本系统采用Visual C++语言编写,运用软件工程的思想, 采用面向对象分析、设计的方法学完成。通过建立系统的数据库,对象模型、动态模型、功能模型，设计界面窗口，算法结构，函数之间互相调用完成实现系统的功能。

  标签： Visual 对象 分

  上传时间： 2015-05-01

  上传用户：zaizaibang

• 该代码是Java数据库高级编程宝典中的重要的代码免费下载

  资源简介：该代码是Java数据库高级编程宝典中的重要的代码，对Java开发者来说是非常重要的

  标签： Java 代码 数据库 宝典

  上传时间： 2015-05-05

  上传用户：yzy6007

• 本实例属于flash mx 2004 中 as2.0的高级应用,适用于flash教学as2.0部分,能使学生充分理解脚本的使用方法和涵义,激发学生的学习和创作热情.从而达到好的教学效果!免费下载

  资源简介：本实例属于flash mx 2004 中 as2.0的高级应用,适用于flash教学as2.0部分,能使学生充分理解脚本的使用方法和涵义,激发学生的学习和创作热情.从而达到好的教学效果!

  标签： flash 2.0 2004 as

  上传时间： 2015-05-18

  上传用户：yyyyyyyyyy

• 1、说明： 本书中所有的常用数值算法子过程按书中的章数分别放在以C开头的子目录中。 所有这些为验证上述子过程而编的验证过程按书中的章数分别放在以D开头的子目录中。 所有为验免费下载

  资源简介：1、说明： 本书中所有的常用数值算法子过程按书中的章数分别放在以C开头的子目录中。 所有这些为验证上述子过程而编的验证过程按书中的章数分别放在以D开头的子目录中。 所有为验证过程而做的工程，按书中的章数分别放在以V开头的子目录中。 ...

  标签： 子过程 分 目录 数值算法

  上传时间： 2015-05-22

  上传用户：sy_jiadeyi

• 摘要 探讨了IP 核的验证与测试的方法及其和 VHDL语言在 IC 设计中的应用 并给出了其在RISC8 框架 CPU 核中的下载实例．免费下载

  资源简介：摘要 探讨了IP 核的验证与测试的方法及其和 VHDL语言在 IC 设计中的应用 并给出了其在RISC8 框架 CPU 核中的下载实例．

  标签： RISC8 VHDL CPU IC

  上传时间： 2014-07-11

  上传用户：lunshaomo

• C语言程序求最短路径问题,是无向图方面的. 数据结构中的图论免费下载

  资源简介：C语言程序求最短路径问题,是无向图方面的. 数据结构中的图论

  标签： C语言程序 最短路径 无向图 方面

  上传时间： 2014-12-06

  上传用户：笨小孩

• 求取一幅灰度图像中的光斑形心的位置的Matlab的源代码。算法使用的是最大类间方差法编写的程序免费下载

  资源简介：求取一幅灰度图像中的光斑形心的位置的Matlab的源代码。算法使用的是最大类间方差法编写的程序，可以得到光斑形心位置的（x,y）坐标。

  标签： Matlab 灰度图像 源代码 方差

  上传时间： 2014-09-02

  上传用户：bibirnovis

• MATLAB 小波分析高级技术——书中的一些应用程序免费下载

  资源简介：MATLAB 小波分析高级技术——书中的一些应用程序

  标签： MATLAB 小波分析 应用程序

  上传时间： 2015-06-21

  上传用户：trepb001

• MATLAB 小波分析高级技术——书中的一些应用程序免费下载

  资源简介：MATLAB 小波分析高级技术——书中的一些应用程序

  标签： MATLAB 小波分析 应用程序

  上传时间： 2014-03-04

  上传用户：czl10052678

• < 图形图像编程精粹>>,介绍了图形图像编程中的一些高级知识,包括2D Geometry,2D Rendering, Image Processing, Frame Buffer T免费下载

  资源简介：< 图形图像编程精粹>>,介绍了图形图像编程中的一些高级知识,包括2D Geometry,2D Rendering, Image Processing, Frame Buffer Technical, 3D Geometry, 3D Redering, Ray Tracing 等由2D到3D逐渐过渡讲解，是一本不错的书（英文版），希望对大家有所帮助。

  标签： Processing Rendering Geometry Buffer

  上传时间： 2013-12-27

  上传用户：R50974

• 王家驹教授两个学术报告幻灯片 关于IC设计的 主要从方法学上进行讲解！免费下载

  资源简介：王家驹教授两个学术报告幻灯片 关于IC设计的 主要从方法学上进行讲解！

  标签： 家 IC设计 报告 幻灯

  上传时间： 2014-01-15

  上传用户：kr770906

• MATLAB小波分析高级技术中的基于小波变换域的数字水印MATLAB源代码。免费下载

  资源简介：MATLAB小波分析高级技术中的基于小波变换域的数字水印MATLAB源代码。

  标签： MATLAB 小波分析 小波变换 数字水印

  上传时间： 2015-08-31

  上传用户：cooran