虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

Co-verification

  • Testbenches have become an integral part of the design process, enabling you to verify that your HDL

    Testbenches have become an integral part of the design process, enabling you to verify that your HDL model is sufficiently tested before implementing your design and helping you automate the design verification process. It is essential, therefore, that you have confidence your testbench is thoroughly exercising your design. Collecting code coverage statistics during simulation helps to ensure the quality and thoroughness of your tests.

    标签: Testbenches enabling integral process

    上传时间: 2014-01-25

    上传用户:ynzfm

  • 由于种种原因

    由于种种原因,在安全生产第一的石化行业会出现诸如火灾、爆炸或有毒物泄露等各种突发性事件。若现场管理人员能够在第一时间里掌握厂区各个区域工作人员的所在方位和相关信息,应急指挥人员则能够在最短间内做出相应应急措施的决策方案。 为了能使中国石化行业的安全生产与国际同步,百尔盛自主设计研发的《化工厂人员智能定位系统》具有以下两大主要功能: 一、人员设备的位置检测、报警与管理。 二、对某些物理量的实时检测(如,CO,温度,湿度等)。 使用该系统可达到两个目的: 一、 管理层对关键区域内人员(或设备)的安全状况始终处于有效监控状态,措施得当可使灾害防患于未然。 二、 是一旦发生意外事故,有利于人员和设备的救援与疏散。

    标签:

    上传时间: 2015-12-28

    上传用户:6546544

  • 第三章 程序流程控制 主要内容1、if…else…选择语句。 2、条件运算符。 3、SWITCH开关分支语句。 4、逻辑运算符。 5、循环语句。 6、自增自减运算。 7、break、co

    第三章 程序流程控制 主要内容1、if…else…选择语句。 2、条件运算符。 3、SWITCH开关分支语句。 4、逻辑运算符。 5、循环语句。 6、自增自减运算。 7、break、continue、goto语句 8、运算符的优先级、结合性。

    标签: SWITCH break else 运算符

    上传时间: 2016-01-15

    上传用户:stampede

  • 3.1 Data Link Layer Design Issues 3.2 Error Detection and Correction 3.3 Elementary Data Link Prot

    3.1 Data Link Layer Design Issues 3.2 Error Detection and Correction 3.3 Elementary Data Link Protocols 3.4 Sliding Windows Protocols 3.5 Protocol Specification and Verification 3.6 Example Data Link Protocols

    标签: Data Link Correction Elementary

    上传时间: 2016-03-05

    上传用户:sz_hjbf

  • File: fw.c Contents: Firmware frameworks task dispatcher and device request parser File: FX2.h Co

    File: fw.c Contents: Firmware frameworks task dispatcher and device request parser File: FX2.h Contents: EZ-USB FX2 constants, macros, datatypes, globals, and library function prototypes. File: FX2regs.h Contents: EZ-USB FX2 register declarations and bit mask definitions. File: periph.c Contents: Hooks required to implement USB peripheral function. File: dscr.a51 Contents: This file contains descriptor data tables. File: dscr.a51 Contents: This file contains descriptor data tables. File: dscr.a51 Contents: This file contains descriptor data tables.

    标签: File frameworks dispatcher Contents

    上传时间: 2014-01-18

    上传用户:bakdesec

  • Testbenches have become an integral part of the design process, enabling you to verify that your HD

    Testbenches have become an integral part of the design process, enabling you to verify that your HDL model is sufficiently tested before implementing your design and helping you automate the design verification process. It is essential, therefore, that you have confidence your testbench is thoroughly exercising your design. Collecting code coverage statistics during simulation helps to ensure the quality and thoroughness of your tests.

    标签: Testbenches enabling integral process

    上传时间: 2016-03-24

    上传用户:1109003457

  • In the field of biometrics, palmprint is a novel but promising technology. Limited work has been rep

    In the field of biometrics, palmprint is a novel but promising technology. Limited work has been reported on palmprint identification and verification, despite the importance of palmprint features. There are many unique features in a palmprint image that can be used for personal identification. Principal lines, wrinkles, ridges, minutiae points, singular points, and texture are regarded as useful features for palmprint representation.

    标签: biometrics technology palmprint promising

    上传时间: 2016-04-02

    上传用户:duoshen1989

  • This program may crash your system or run poorly depending on your hardware. The program and code co

    This program may crash your system or run poorly depending on your hardware. The program and code contained in this archive was scanned for virii and has passed all test before it was put online. If you use this code in project of your own, send a shout out to the author!

    标签: program your depending hardware

    上传时间: 2014-11-23

    上传用户:anng

  • Programs in the irregular grid design package described in this manual are used to carry out five ma

    Programs in the irregular grid design package described in this manual are used to carry out five main functions: verification and adjustment of coastline and bathymetric data preparation of an irregular triangular depth grid covering the domain to be modelled production of a preliminary irregular triangular model grid with nodes suitably positioned for accurate and efficient numerical modelling interactive checking and editing, including trimming and joining, of model grid display and plotting of model output.

    标签: described irregular Programs package

    上传时间: 2016-04-09

    上传用户:fnhhs

  • ead file "YD.DOC". Who is the intended user Beginners in assembly and programmers. Features o

    ead file "YD.DOC". Who is the intended user Beginners in assembly and programmers. Features of the program: Yilmaz Disassembler:is an interactive disassembler which lets the user be a part of the disassembling process,is flexible, the user can disassemble in different formats,has user friendly interface, mouse support, pop-up menu commands, short cut key commands, context-sensitive on-line help,and it is cheap. Program s capacity and limitations: Max executable file size is 64 KB. Can not disassemble program of EXE-format.Only 8086/8088 CPU instructions can be disassembled. Disassemble 8087 Math Co-processor s instructions.

    标签: programmers Beginners Features assembly

    上传时间: 2014-06-21

    上传用户:皇族传媒