[验证书籍]Advanced Formal Verification eBook

相 关 资 源

• [验证书籍]Writing_testbenches_2RD免费下载

  资源简介：·[验证书籍]Writing_testbenches_2RD  

  标签： Writing_testbenches RD 书籍

  上传时间： 2013-07-19

  上传用户：yxvideo

• 数字电路EDA 入门：VHDL 程序实例集免费下载

  资源简介：·数字电路EDA 入门：VHDL 程序实例集

  标签： nbsp VHDL EDA 数字电路

  上传时间： 2013-06-06

  上传用户：zmy123

• 字符表示的十六进制数转化为相应的整数&nbsp &nbsp 错误则返回&nbsp &nbsp -1&nbsp &nbsp免费下载

  资源简介：字符表示的十六进制数转化为相应的整数&nbsp &nbsp 错误则返回&nbsp &nbsp -1&nbsp &nbsp

  标签： nbsp 字符 十六进制 转化

  上传时间： 2015-10-20

  上传用户：zhangyi99104144

• [验证书籍]Writing_Testbench免费下载

  资源简介：·[验证书籍]Writing_Testbench

  标签： Writing_Testbench 书籍

  上传时间： 2013-04-24

  上传用户：portantal

• DesignforTest.rar,芯片设计中的验证书籍免费下载

  资源简介：DesignforTest.rar,芯片设计中的验证书籍

  标签： DesignforTest 芯片设计 书籍

  上传时间： 2014-01-18

  上传用户：lizhizheng88

• 游戏编程经典书籍 Advanced All In One 的译文,进阶3D游戏编程指南(第1-3章). MDI文件是Microsoft Office Document Imaging使用的一个特免费下载

  资源简介：游戏编程经典书籍 Advanced All In One 的译文,进阶3D游戏编程指南(第1-3章). MDI文件是Microsoft Office Document Imaging使用的一个特殊格式，需要用这个程序打开。启动菜单：开始→程序→Microsoft Office→Microsoft Office 工具→Microsoft Office Do...

  标签： Microsoft Advanced Document Imaging

  上传时间： 2013-11-26

  上传用户：invtnewer

• Linux 编译相关书籍 Advanced Bash− Scripting Guide.pdf Debugging with gdb.pdf GNU make.pdf Linux教程免费下载

  资源简介：Linux 编译相关书籍 Advanced Bash&#8722 Scripting Guide.pdf Debugging with gdb.pdf GNU make.pdf Linux教程 Shell精华文章.chm Linux初学者入门教程.pdf

  标签： Linux Debugging Scripting

  上传时间： 2013-12-20

  上传用户：ardager

• PIC单片机仿真器 ICD2 制作资料(ICD2 Clone)免费下载

  资源简介：·完全制作资料.固件可以在线升级的ICD2仿真器.ICD2 CloneThis is a MPLAB compatible clone of Microchips in circuit debugger ICD2 which allows to&nbs

  标签： nbsp ICD Clone PIC

  上传时间： 2013-07-21

  上传用户：zdluffy

• Intel JPEG Library免费下载

  资源简介：·详细说明：Intel的JPEG开发库 -Intel JPEG development storehouse 文件列表:   Intel JPEG Library   ..................\ijl.h   ..................\ijl.lib   ..................\ijl10.dll   .....

  标签： nbsp Library Intel JPEG

  上传时间： 2013-08-04

  上传用户：维子哥哥

• ATMEL MP3+U盘方案免费下载

  资源简介：·详细说明：ATMEL mp3+u盘 方案，包含SCH,PCB图，源代码等-ATMEL mp3 the u plate plan, contains SCH, the PCB chart, the source code and so on 文件列表:   mp3+u盘   .......\MP3_1_10-13.zip   .......\MP3_manual.doc

  标签： ATMEL nbsp MP 方案

  上传时间： 2013-07-02

  上传用户：498732662

• AVR MP3方案 The MP3player from Atmega8(AVR),VS1001K,SDcard免费下载

  资源简介：·详细说明：AVR MP3方案 The MP3player from Atmega8(AVR),VS1001K,SDcard-AVR MP3 plan The MP3player from Atmega8 (AVR), VS1001K, SDcard 文件列表:   AVR+VS1001K方案   ...............\home_page.files   ..

  标签： nbsp AVR Atmega SDcard

  上传时间： 2013-08-03

  上传用户：amwfhv

• ITU-T G.723.1语音编解码算法源代码免费下载

  资源简介：·详细说明：ITU-T G.723.1语音编解码算法源代码-ITU-T the G.723.1 pronunciation arranges the decoding to calculate the law origin code 文件列表:   G.723.1_c   .........\BASOP.C   .........\BASOP.H   ....

  标签： ITU-T 723.1 nbsp 语音编解码

  上传时间： 2013-07-16

  上传用户：sz_hjbf

• ITU G.723.1 编解码程序(附带测试代码)免费下载

  资源简介：·ITU G.723.1 编解码程序(附带测试代码)文件列表:   G7231_Eval   ..........\EasyG7231.h   ..........\EasyG7231.lib   ..........\EasyG7231.pdf   ..........\EasyG7231_decoder.c   ..........\E

  标签： nbsp 723.1 ITU 编解码

  上传时间： 2013-06-16

  上传用户：cc111

• &nbsp 硬盘控制源程序免费下载

  资源简介：&nbsp 硬盘控制源程序，开发环境KEIL C51 V7.07&nbsp &nbsp &nbsp &nbsp 支持器件 : AT89C51&nbsp &nbsp

  标签： nbsp 硬盘 控制 源程序

  上传时间： 2014-11-26

  上传用户：redmoons

• dxp2004教程-附安装方法免费下载

  资源简介：附件有二个文当，都是dxp2004教程 ，第一部份DXP2004的相关快捷键，以及中英文对照的意思。第二部份细致的讲解的如何使用DXP2004。 dxp2004教程第一部份： 目录 1 快捷键 2 常用元件及封装 7 创建自己的集成库 12 板层介绍 14 过孔 15 生成B...

  标签： 2004 dxp 教程 安装方法

  上传时间： 2013-10-22

  上传用户：qingzhuhu

• PCB设计时铜箔厚度,走线宽度和电流的关系.pdf免费下载

  资源简介：                  ╭════════════════╮                  ║    中国电子发烧友下载说明      ║    ╭══════┤                                ├═...

  标签： PCB 计时 宽

  上传时间： 2013-10-18

  上传用户：wendy15

• AVR mega128学习板免费下载

  资源简介：AVR mega128学习板 联系  杨迪 15336417867  0531-55508458 QQ：1347978253  http://www.easyele.cn AVR mega128学习板是AVRVI设计生产的AVR学习开发生产工具，以Atmega128为核心，采用底板，核心板的组织形式，子板和母板组合，也可以分开。集成AVR JTAG...

  标签： mega AVR 128

  上传时间： 2013-11-13

  上传用户：ljj722

• AVR mega128开发板免费下载

  资源简介：AVR mega128开发板 联系  杨迪 15336417867  0531-55508458 QQ：1347978253  http://www.easyele.cn 产品概述:AVR mega128开发板是AVRVi开发的基于Atmega128单片机的综合学习开发系统，板载学习资源，集成JTAG仿真器和ISP下载功能，核心板可拆卸独立使用，...

  标签： mega AVR 128 开发板

  上传时间： 2013-11-10

  上传用户：zm7516678

• 8051系列单片机应用系统的PROTEUS仿真设计免费下载

  资源简介：8051系列单片机应用系统的PROTEUS仿真设计：介绍PROTEUS软件的基础上，以电扶梯单片机控制系统为实例来介绍如何采用PROTEUS软件进行8051单片机应用系统仿真设计。关键词：8051单片机  应用系统  PROTEUS软件  keil c软件  绑定  仿真单片机在电子产品中...

  标签： PROTEUS 8051 单片机 仿真设计

  上传时间： 2013-11-05

  上传用户：003030

• dxp2004教程-附安装方法免费下载

  资源简介：附件有二个文当，都是dxp2004教程 ，第一部份DXP2004的相关快捷键，以及中英文对照的意思。第二部份细致的讲解的如何使用DXP2004。 dxp2004教程第一部份： 目录 1 快捷键 2 常用元件及封装 7 创建自己的集成库 12 板层介绍 14 过孔 15 生成B...

  标签： 2004 dxp 教程 安装方法

  上传时间： 2015-01-01

  上传用户：zhyfjj

• PCB设计时铜箔厚度,走线宽度和电流的关系.pdf免费下载

  资源简介：                  ╭════════════════╮                  ║    中国电子发烧友下载说明      ║    ╭══════┤                                ├═...

  标签： PCB 计时 宽

  上传时间： 2013-10-23

  上传用户：彭玖华

• System Verilog for Verification, 2nd Edition免费下载

  资源简介：System Verilog for Verification, 2nd Edition。 system verilog验证书籍

  标签： system verilog

  上传时间： 2015-05-06

  上传用户：yuzhongxingke

• samba服务器实验指导免费下载

  资源简介：第一节、samba是干什么的？它有什么用？ Samba（SMB是其缩写） 是一个网络服务器，它是Linux作为本地服务器最重要的一个服务，用于Linux和Windows共享文件之用；Samba可以用于Windows和 Linux之间的共享文件，也一样用于Linux和Linux之间的共享文件；不过...

  标签： samba 嵌入式

  上传时间： 2015-05-13

  上传用户：yangkang1192

• 机器学习代码免费下载

  资源简介：对应书籍为机器学习60讲  欢迎下载~

  标签： VAP机器学习60讲

  上传时间： 2015-08-25

  上传用户：wisdom0119

• MATLAB高效编程技巧与应用：25个案例分析免费下载

  资源简介：      本书是作者八年MATLAB 使用经验的总结,精心设计的所有案例均来自于国内各大MATLAB技术论坛网友的切身需求,其中不少案例涉及的内容和求解方法在国内现已出版的MATLAB书籍中鲜有介绍。       本书首先针对MATLAB新版本特有的一些编程思想、高效的编...

  标签： MATLAB 编程技巧 案例分析

  上传时间： 2016-04-22

  上传用户：self947

• c#给目录树显视自定义图标免费下载

  资源简介：楼术描述项:         (1).该项目中"我的电脑"是作者自定义的root节点,没有设定其路径,所以BeforeExpand事件中会从它开始依次遍历,但"我的电脑"会提示"没有指定路径".故需要if(e.Tag.ToString() != "我的电脑")判断.同时"我的文档"需要再次获取其路径,...

  标签： 目录树 自定义

  上传时间： 2016-08-15

  上传用户：baobao9437

• python爬虫获取大量免费有效代理ip--有效防止ip被封免费下载

  资源简介：以后再也不用担心写爬虫ip被封，不用担心没钱买代理ip的烦恼了 在使用python写爬虫时候，你会遇到所要爬取的网站有反爬取技术比如用同一个IP反复爬取同一个网页，很可能会被封。如何有效的解决这个问题呢？我们可以使用代理ip，来设置代理ip池。 现在教大家...

  标签： python ip 代理 防止

  上传时间： 2019-11-15

  上传用户：fygwz1982

• MICRO-USB MICRO SD卡座 HDMI DDR3 按键ALTIUM 集成库（原理图库+3免费下载

  资源简介：MICRO-USB MICRO SD卡座 HDMI DDR3 按键ALTIUM 集成库（原理图库+3D PCB库）,.IntLib后缀文件，拆分后文件为PcbLib+SchLib格式，Altium Designer原理图库+PCB封装库，已验证使用，可以直接应用到你的项目开发。Library Component Count : 30Name        ...

  标签： hdmi ddr3

  上传时间： 2022-01-09

  上传用户：bluedrops

• MICRO HDMI TF卡 USBTYPE-C USB-侧立式 摄像头FPC-24P OLED屏模免费下载

  资源简介：MICRO HDMI TF卡 USBTYPE-C USB-侧立式 摄像头FPC-24P OLED屏模块AD集成库（原理图库+3D封装库），）.IntLib后缀文件，拆分后文件为PcbLib+SchLib格式，Altium Designer原理图库+PCB封装库，已验证使用，可以直接应用到你的项目开发。器件列表：ANT-Rainsun-A...

  标签： usb 摄像头 fpc oled

  上传时间： 2022-01-09

  上传用户：

• 电子书-MYSQL必知必会免费下载

  资源简介：电子书书籍-MYSQL必知必会 电子书书籍-MYSQL必知必会

  标签： mysql

  上传时间： 2022-02-19

  上传用户：