Assertion based design_and:Including:Assertion methdology,Specifyingg RTL Properties, PLI-Based Ass

相 关 资 源

• Assertion based design_and:Including:Assertion methdology,Specifyingg RTL Properties, PLI-Based Ass免费下载

  资源简介：Assertion based design_and:Including:Assertion methdology,Specifyingg RTL Properties, PLI-Based Assertions Functional coverage

  标签： Assertion Specifyingg Properties design_and

  上传时间： 2015-09-09

  上传用户：xinzhch

• CheckMate is a MATLAB-based tool for modeling, simulating and investigating Properties of hybrid dyn免费下载

  资源简介：CheckMate is a MATLAB-based tool for modeling, simulating and investigating Properties of hybrid dynamic systems. Hybrid systems are modeled using the Simulink graphical user interface (GUI). Parameters and specifications are entered using ...

  标签： investigating MATLAB-based simulating Properties

  上传时间： 2013-12-13

  上传用户：源弋弋

• on symbol timing for ofdm based mobile communication system on symbol timing for ofdm based mobile免费下载

  资源简介：on symbol timing for ofdm based mobile communication system on symbol timing for ofdm based mobile communication system

  标签： mobile symbol timing based

  上传时间： 2013-12-27

  上传用户：894898248

• Cognitive+Radio+Networks免费下载

  资源简介：Resource allocation is an important issue in wireless communication networks. In recent decades, cognitive radio technology and cognitive radio-based networks have obtained more and more attention and have been well studied to improve spect...

  标签： Cognitive Networks Radio

  上传时间： 2020-06-07

  上传用户：shancjb

• fpga based jpge 压缩算法，性能不错免费下载

  资源简介：fpga based jpge 压缩算法，性能不错

  标签： fpga jpge压缩算法

  上传时间： 2022-06-24

  上传用户：

• 基于EKF的异步电机直接转矩控制系统免费下载

  资源简介：为了提高直接转矩控制（DTC）系统定子磁链估计精度，降低电流、电压测量的随机误差，提出了一种基于扩展卡尔曼滤波（EKF）实现异步电机转子位置和速度估计的方法。扩展卡尔曼滤波器是建立在基于旋转坐标系下由定子电流、电压、转子转速和其它电机参量所构成的...

  标签： EKF 异步电机 直接转矩 控制系统

  上传时间： 2015-01-02

  上传用户：qingdou

• This paper introduces an affine invariant of trapezia, and the explicit constraint equation between免费下载

  资源简介：This paper introduces an affine invariant of trapezia, and the explicit constraint equation between the intrinsic matrix of a camera and the similarity invariants of a trapezium are established using the affine invariant. By this constraint...

  标签： introduces constraint invariant explicit

  上传时间： 2014-01-16

  上传用户：6546544

• KML is an XML grammar used to encode and transport representations of geographic data for display in免费下载

  资源简介：KML is an XML grammar used to encode and transport representations of geographic data for display in an earth browser. Put simply: KML encodes what to show in an earth browser, and how to show it. KML uses a tag-based structure with nested ...

  标签： representations geographic transport grammar

  上传时间： 2014-01-12

  上传用户：thesk123

• A total solution for INFRARED based on PIC16F84 using PICBASIC compiler including source免费下载

  资源简介：A total solution for INFRARED based on PIC16F84 using PICBASIC compiler including source

  标签： including solution INFRARED PICBASIC

  上传时间： 2014-08-13

  上传用户：miaochun888

• this ia a cppp code file including SIFT and other algrithms based in opcv免费下载

  资源简介：this ia a cppp code file including SIFT and other algrithms based in opcv

  标签： algrithms including based other

  上传时间： 2016-05-09

  上传用户：xz85592677

• Evaluation on how to use SystemVerilog as a design and Assertion language.pdf 一本不错的systemveilog书籍免费下载

  资源简介：Evaluation on how to use SystemVerilog as a design and Assertion language.pdf 一本不错的systemveilog书籍，希望大家喜欢！

  标签： SystemVerilog systemveilog Evaluation Assertion

  上传时间： 2013-12-27

  上传用户：wkchong

• OFDM based on the massive pilot channel estimation algorithm simulation, including the LS estimation免费下载

  资源简介：OFDM based on the massive pilot channel estimation algorithm simulation, including the LS estimation algorithm Analysis of LSE

  标签： estimation simulation algorithm including

  上传时间： 2017-03-28

  上传用户：wpwpwlxwlx

• SystemVerilog Assertion简介免费下载

  资源简介：SystemVerilog Assertion简介

  标签： SVA

  上传时间： 2016-03-24

  上传用户：yuanhao4508

• SPLASH is a c++ class library that implements many of the Perl constructs and data types, including免费下载

  资源简介：SPLASH is a c++ class library that implements many of the Perl constructs and data types, including extensive regex regular expression pattern matching. For those not familiar with Perl, it is an excellent scripting language by Larry Wall a...

  标签： implements constructs including library

  上传时间： 2013-12-07

  上传用户：1583060504

• Metalworks is a simple Swing-based simulated e-mail application. It shows off several features of S免费下载

  资源简介：Metalworks is a simple Swing-based simulated e-mail application. It shows off several features of Swing, including JInternalFrame, JTabbedPane, JFileChooser, JEditorPane, and JRadioButtonMenuItem. Metalworks is optimized to work with the...

  标签： Swing-based application Metalworks simulated

  上传时间： 2015-05-30

  上传用户：lizhen9880

• The third edition of Learning GNU Emacs describes Emacs 21.3 from the ground up, including new user免费下载

  资源简介：The third edition of Learning GNU Emacs describes Emacs 21.3 from the ground up, including new user interface features such as an icon-based toolbar and an interactive interface to Emacs customization. A new chapter details how to install a...

  标签： Emacs describes including Learning

  上传时间： 2015-08-29

  上传用户：caixiaoxu26

• EDB (Evan s Debugger) is a QT4 based binary mode debugger with the goal of having usability on par w免费下载

  资源简介：EDB (Evan s Debugger) is a QT4 based binary mode debugger with the goal of having usability on par with OllyDbg. It uses a plugin architecture, so adding new features can be done with ease. The current release is for Linux, but future relea...

  标签： usability Debugger debugger binary

  上传时间： 2013-12-21

  上传用户：gundamwzc

• The TMS320C64x™ DSPs (including the TMS320DM642 device) are the highest-performance fixed-point免费下载

  资源简介：The TMS320C64x&#8482 DSPs (including the TMS320DM642 device) are the highest-performance fixed-point DSP generation in the TMS320C6000&#8482 DSP platform. The TMS320DM642 (DM642) device is based on the second-generation high-performance, ...

  标签： highest-performance fixed-point TMS 320

  上传时间： 2013-12-21

  上传用户：watch100

• IBM® Rational® Application Developer V6.0 is the full function Eclipse 3.0 based development免费下载

  资源简介：IBM&reg Rational&reg Application Developer V6.0 is the full function Eclipse 3.0 based development platform for developing Java&#8482 2 Platform Standard Edition (J2SE) and Java 2 Platform Enterprise Edition (J2EE) applications with a foc...

  标签： Application development Developer reg

  上传时间： 2013-12-16

  上传用户：米卡

• Abstract Based on the demand analysis of the RFID middleware免费下载

  资源简介：Abstract Based on the demand analysis of the RFID middleware，it suggests how to develop the RFID middle— ware，including the functionality and the mechanism of the event handle，and prospects the future of the RFID mid— dleware．

  标签： middleware the Abstract analysis

  上传时间： 2013-12-21

  上传用户：qilin

• Zaval Light-Weight Visual Components Library (LwVCL) is a pure Java alternative to humble AWT-based免费下载

  资源简介：Zaval Light-Weight Visual Components Library (LwVCL) is a pure Java alternative to humble AWT-based GUI interfaces for wide ranges of platforms, including J2SE, PersonalJava and J2ME(coming soon). LwVCL can be used on Zaurus, iPAQ and other...

  标签： Light-Weight alternative Components AWT-based

  上传时间： 2014-11-09

  上传用户：Zxcvbnm

• simple ATM [Automatic Teller Machine] system the basic functions Login including write-offs, inquiri免费下载

  资源简介：simple ATM [Automatic Teller Machine] system the basic functions Login including write-offs, inquiries, deposits, withdrawals and alter the code. Simulation of ATM terminal users logged in, their account numbers and passwords through the AT...

  标签： write-offs Automatic functions including

  上传时间： 2014-01-20

  上传用户：semi1981

• Servlets and JavaServer Pages is the first complete guide to building dynamic Java-based Web applica免费下载

  资源简介：Servlets and JavaServer Pages is the first complete guide to building dynamic Java-based Web applications using the new JavaServer Pages 2.0 and Servlets 2.4. Servlets and JavaServer Pages (JSP) provide a robust solution to developing large...

  标签： JavaServer Java-based Servlets complete

  上传时间： 2014-01-02

  上传用户：zsjzc

• Wireless-Based+Software+Systems免费下载

  资源简介：The wide deployment of wireless networks and mobile technologies, along with the significant increase in the number of mobile device users, have created a very strong demand on various wireless-based, mobile-based software application syste...

  标签： Wireless-Based Software Systems

  上传时间： 2020-06-01

  上传用户：shancjb

• Precision RTL v2005b.1100免费下载

  资源简介：Actel公司与Mentor Graphics公司日前推出Mentor Graphics的Precision RTL综合工具最新版本。该版本利用Actel基于闪存的ProASIC Plus家族FPGA产品以提供更高的设计性能。

  标签： Precision 2005 1100 RTL

  上传时间： 2013-07-28

  上传用户：cc111

• 02 calgary PhD A Java-Based Wireless Framework for Location-Based Services Applications.pdf免费下载

  资源简介：资料->【E】光盘论文->【E1】斯坦福博士论文->02 calgary PhD A Java-Based Wireless Framework for Location-Based Services Applications.pdf

  标签： Location-Based Applications Java-Based Framework

  上传时间： 2013-07-02

  上传用户：亚亚娟娟123

• FPGA-based high-order FIR filter design免费下载

  资源简介：FPGA-based high-order FIR filter design

  标签： FPGA-based high-order filter design

  上传时间： 2013-08-06

  上传用户：sssnaxie

• Digital Down Converter Design based on FPGA免费下载

  资源简介：Digital Down Converter Design based on FPGA.

  标签： Converter Digital Design based

  上传时间： 2013-08-13

  上传用户：CSUSheep

• fpga based jpge 压缩算法免费下载

  资源简介：fpga based jpge 压缩算法，性能不错，

  标签： based fpga jpge 压缩算法

  上传时间： 2013-08-14

  上传用户：a471778

• FPGA-based link layer chip S19202 configuration免费下载

  资源简介：FPGA-based link layer chip S19202 configuration

  标签： configuration FPGA-based S19202 layer

  上传时间： 2013-08-18

  上传用户：xsnjzljj