Scalable Hardware Verification with Symbolic Simulation.pdf

相 关 资 源

• windows forms programming with c# - manning.pdf(Good!!!)免费下载

  资源简介：windows forms programming with c# - manning.pdf(Good!!!)

  标签： programming windows manning forms

  上传时间： 2015-01-31

  上传用户：colinal

• < Cross.Platform.GUI.Programming.with.wxWidgets>>中译本PDF格式制免费下载

  资源简介：< Cross.Platform.GUI.Programming.with.wxWidgets>>中译本PDF格式制

  标签： Programming wxWidgets Platform Cross

  上传时间： 2013-12-30

  上传用户：lgnf

• ofdm system with mac Simulation免费下载

  资源简介：ofdm system with mac Simulation

  标签： Simulation system ofdm with

  上传时间： 2013-12-20

  上传用户：mhp0114

• GRAPH CLUSTERING by FLOW Simulation.pdf免费下载

  资源简介：GRAPH CLUSTERING by FLOW Simulation.pdf

  标签： CLUSTERING Simulation GRAPH FLOW

  上传时间： 2016-03-11

  上传用户：lili123

• Prentice Design Verification With E ,关于specman/e的好书。免费下载

  资源简介：Prentice Design Verification With E ,关于specman/e的好书。

  标签： Verification Prentice specman Design

  上传时间： 2016-03-28

  上传用户：rocwangdp

• queue hardware deisgn with verilog免费下载

  资源简介：queue hardware deisgn with verilog

  标签： hardware verilog deisgn queue

  上传时间： 2016-04-23

  上传用户：gxrui1991

• Simulation with Modelsim Simulation with Modelsim.rar免费下载

  资源简介：Simulation with Modelsim Simulation with Modelsim.rar

  标签： Simulation Modelsim with

  上传时间： 2013-12-10

  上传用户：Ants

• Interpolation Techniques for MIMO OFDM with Interference Cancellation.pdf免费下载

  资源简介：Interpolation Techniques for MIMO OFDM with Interference Cancellation.pdf

  标签： Interpolation Interference Cancellation Techniques

  上传时间： 2014-11-10

  上传用户：yuanyuan123

• Matrix_led Display with proteus Simulation免费下载

  资源简介：Matrix_led Display with proteus Simulation

  标签： Matrix_led Simulation Display proteus

  上传时间： 2017-03-26

  上传用户：钓鳌牧马

• Again a Matrix_led application with proteus Simulation免费下载

  资源简介：Again a Matrix_led application with proteus Simulation

  标签： application Matrix_led Simulation proteus

  上传时间： 2017-03-26

  上传用户：Ants

• a Matrix_led application with proteus Simulation免费下载

  资源简介：a Matrix_led application with proteus Simulation

  标签： application Matrix_led Simulation proteus

  上传时间： 2014-01-07

  上传用户：huyiming139

• Apress - Pro ADO.NET Data Services Working with RESTful Data.pdf免费下载

  资源简介：Apress - Pro ADO.NET Data Services Working with RESTful Data.pdf

  标签： Data Services RESTful Working

  上传时间： 2017-04-12

  上传用户：水中浮云

• LCD basic code for LPC2114 with Proteus Simulation. LCD of type 16x2免费下载

  资源简介：LCD basic code for LPC2114 with Proteus Simulation. LCD of type 16x2

  标签： Simulation LCD Proteus basic

  上传时间： 2017-06-02

  上传用户：来茴

• Hardware Design with VHDL Design Example: UART免费下载

  资源简介：Hardware Design with VHDL Design Example: UART

  标签： Design Hardware Example with

  上传时间： 2017-07-28

  上传用户：520

• Electronic Design Automation-synthesis,Verification and test 电子书PDF下载 971页免费下载

  资源简介：Electronic Design Automation-synthesis,Verification and test 电子书PDF下载 971页  国立台湾大学江介宏教授 该书是电子设计自动化，综合，验证和测试的经典书籍之一。

  标签： Automation-synthesis Verification Electronic Design test 971 and PDF 电子书 下载

  上传时间： 2022-06-28

  上传用户：ankee

• Switch-Mode Power Supply Simulation^Designing with SPICE 3（英文高清）免费下载

  资源简介：开关电源类书籍：Switch-Mode Power Supply Simulation^Designing with SPICE 3.pdf ·

  标签： Switch-Mode Simulation Designing Supply

  上传时间： 2013-11-20

  上传用户：aa17807091

• X10 Protocol.pdf X10 Home Automation.pdf Microchip - AN236 - Home automation using X10.pdf MANDO免费下载

  资源简介：X10 Protocol.pdf X10 Home Automation.pdf Microchip - AN236 - Home automation using X10.pdf MANDO UNIVERSAL X10 WIRELESS MOUSE REMOTE SYSTEM.pdf Manual ipcontrol x10.pdf x10_camera_control_system.doc domotica d-6006 - X10.pdf X10 Temp...

  标签： Home Automation automation

  上传时间： 2013-12-06

  上传用户：zhuyibin

• OFDM通信系统的仿真。PDF文件免费下载

  资源简介：OFDM通信系统的仿真。PDF文件，包括OFDM原理、程序讲解及运行结果。-OFDM communications system Simulation. PDF documents, including OFDM principles, procedures and operations on the results.

  标签： OFDM 通信系统 仿真

  上传时间： 2014-01-23

  上传用户：66666

• 基于Multisim和LabVIEW的虚实结合数字电路实验教学免费下载

  资源简介：实验教学一直是工科教学中不可或缺的组成部分,对培养学生的动手能力,独立思考能力,创新思维与发散思维具有重要的作用。针对目前电路教学实验中电路仿真实验与实物电路实验各自独立,无法统一问题,提出将仿真电路实验与实物电路实验有机的结合同步操作,并使用We...

  标签： multisim labview

  上传时间： 2022-04-05

  上传用户：

• 基于STM32的无刷直流电机控制器硬件电路设计及实验研究免费下载

  资源简介：以STM32F103C8T6为核心,设计了无刷直流电机控制器硬件电路。电路主要包括IR2310构成的PWM驱动电路、IRF3808构成的逆变电路、增量式旋转编码构成的速度反馈电路。控制器具有CAN和RS232通信接口,可与计算机或PLC构成速度或位置伺服系统。利用由xPC目标搭建的半...

  标签： stm32 无刷直流电机

  上传时间： 2022-05-07

  上传用户：

• Emulating a synchronous serial免费下载

  资源简介：The C500 microcontroller family usually provides only one on-chip synchronous serialchannel (SSC). If a second SSC is required, an emulation of the missing interface mayhelp to avoid an external hardware solution with additional electronic ...

  标签： synchronous Emulating serial

  上传时间： 2014-01-31

  上传用户：z1191176801

• Ideal for large low power (nanoWatt) and connectivity applications that benefit from the availabilit免费下载

  资源简介：Ideal for large low power (nanoWatt) and connectivity applications that benefit from the availability of four serial ports: double synchronous serial ports (I&sup2 C&#8482 and SPI&#8482 ) and double asynchronous (LIN capable) serial ports. ...

  标签： connectivity applications availabilit nanoWatt

  上传时间： 2016-02-04

  上传用户：CHINA526

• 经典书籍免费下载

  资源简介：经典书籍，Designing Components with STL，Pdf版

  标签： 书籍

  上传时间： 2014-01-12

  上传用户：黑漆漆

• 编写testbench的超好教程免费下载

  资源简介：编写testbench的超好教程，网上这种资料比较少。(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf

  标签： testbench 编写 教程

  上传时间： 2014-01-05

  上传用户：Miyuki

• The package contains a Reed-Solomon coding and decoding program, derived partly from Phil Karn/Rob免费下载

  资源简介：The package contains a Reed-Solomon coding and decoding program, derived partly from Phil Karn/Robert Morelos-Zaragoza "new_rs_erasures.c". In particular the Berlekamp-Massey algorithm has not been modified. New features compared to "n...

  标签： Reed-Solomon contains decoding package

  上传时间： 2013-12-11

  上传用户：shinesyh

• This sample shows different ways of performing anti-aliasing - both by using only the native hardwa免费下载

  资源简介：This sample shows different ways of performing anti-aliasing - both by using only the native hardware AA support, and by mixing the hardware modes with additional supersampling. There are various ways in which the supersampled image can b...

  标签： anti-aliasing performing different sample

  上传时间： 2014-01-11

  上传用户：haohaoxuexi

• The Open Radar Data Acquisition (ORDA) subsystem replaces the current WSR-88D Radar Data Acquisiti免费下载

  资源简介：The Open Radar Data Acquisition (ORDA) subsystem replaces the current WSR-88D Radar Data Acquisition subsystem with improved receiver and signal processing hardware and with improved user interface, signal processing and diagnostics so...

  标签： Radar Data Acquisition Acquisiti

  上传时间： 2017-08-25

  上传用户：leixinzhuo

• The goal of this thesis is the development of traffic engineering rules for cellular packet radio n免费下载

  资源简介：The goal of this thesis is the development of traffic engineering rules for cellular packet radio networks based on GPRS and EDGE. They are based on traffic models for typical mobile applications. Load generators, representing these traff...

  标签： development engineering cellular traffic

  上传时间： 2014-01-11

  上传用户：Miyuki

• altera FAE的讲稿免费下载

  资源简介：altera NiosII   Hardware Design with SOPC Builder

  标签： altera FAE

  上传时间： 2020-09-20

  上传用户：

• ADS1118模块资料热电偶测量文档资料硬件参考设计及MSP430软JDEMO代码: 430BOOS免费下载

  资源简介：ADS1118模块资料热电偶测量文档资料硬件参考设计及MSP430软JDEMO代码:430BOOST-ADS1118 Booster Pack.pdfADS1118-english.pdfads1118.pdfCJMCU-1118资料IMP NOTICE for REF DESIGNS.pdfMSP430-ADS1118PCBPrecision Thermocouple Measurement with the ADS1118...

  标签： ads1118 热电偶 测量 硬件

  上传时间： 2021-11-03

  上传用户：zhaiyawei