您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. system verification using_soundcheck

  2. system_verification_using_soundcheck
  3. 所属分类:其它

    • 发布日期:2009-05-27
    • 文件大小:302080
    • 提供者:zhangfs3333
  1. Real-Time Systems - Scheduling, Analysis And Verification

  2. Real-Time Systems - Scheduling, Analysis And Verification. Classic textbook for computer science students.
  3. 所属分类:其它

    • 发布日期:2007-08-18
    • 文件大小:2097152
    • 提供者:awei_robot
  1. OVM Open verification methdology 2.0文档

  2. Open verification methdology
  3. 所属分类:Java

    • 发布日期:2009-06-15
    • 文件大小:1048576
    • 提供者:bwaveliu
  1. SystemVerilog for Verification.pdf

  2. sv用于逻辑验证经典书籍,好的东西大家一起分享,多学习sv的朋友们有帮助哟!
  3. 所属分类:专业指导

    • 发布日期:2009-06-16
    • 文件大小:1048576
    • 提供者:lord_blue
  1. [assertion]PSL - Property Specification Language.pdf

  2. 基于sugar的PSL是应用很广的verification语言,可大大降低verifcation的复杂度,提高效率
  3. 所属分类:专业指导

    • 发布日期:2009-07-01
    • 文件大小:550912
    • 提供者:lau0984
  1. Hardware Verification With SystemVerilog.pdf

  2. System Verilog 验证的经典书籍。
  3. 所属分类:其它

    • 发布日期:2009-07-09
    • 文件大小:3145728
    • 提供者:klxiaodanni
  1. SystemVerilog for Verification

  2. 经典System Verilog 入门书籍 For Verification Purpose
  3. 所属分类:专业指导

    • 发布日期:2009-07-24
    • 文件大小:2097152
    • 提供者:bill_syue
  1. Springer.Embedded System Design.Modeling Synthesis and Verification.2009

  2. Springer.Embedded System Design.Modeling Synthesis and Verification
  3. 所属分类:Java

    • 发布日期:2009-08-30
    • 文件大小:3145728
    • 提供者:chitsa
  1. Verification--Calibre

  2. Basic of Layout Verification
  3. 所属分类:硬件开发

  1. Verification of workflow nets

  2. Verification of workflow nets, pdf format
  3. 所属分类:Java

    • 发布日期:2009-11-22
    • 文件大小:1048576
    • 提供者:lifepalette
  1. Bringing Agile Methods Into Functional Verification

  2. Agile Programming is a highly disciplined methodology used in software engineering. One aspect of the Agile methodology that is applicable to ASIC/FPGA functional verification and particularly important when creating verification environments using
  3. 所属分类:C#

    • 发布日期:2009-12-14
    • 文件大小:509952
    • 提供者:chaoyuwa0516
  1. Co-Verification Of Hardware And Software For Arm Soc Design

  2. Co-Verification Of Hardware And Software For Arm Soc Design
  3. 所属分类:硬件开发

    • 发布日期:2009-12-22
    • 文件大小:9437184
    • 提供者:sunsirxjtu
  1. e Language Reference Mannal

  2. The e language is an object-oriented programming language. Although e can be used to create any general-purpose software program, it has been designed to facilitate the verification of electronic designs. The verification-specific constructs that di
  3. 所属分类:Access

    • 发布日期:2009-12-30
    • 文件大小:2097152
    • 提供者:qinwenping
  1. systemverilog for verification.pdf 英文版

  2. 这本书对于验证入门来说还是不错滴,浅显易懂,对于理解VMM也有一些帮助
  3. 所属分类:专业指导

    • 发布日期:2010-01-08
    • 文件大小:1048576
    • 提供者:cuichenhust
  1. Reference Verification Methodology

  2. This document covers the OpenVera implementation of the Reference Verification Methodology. The RVM manual documents release 8.5.10 of the object classes in Vera version 6.3. This manual is part of the documentation set of the Vera family of product
  3. 所属分类:其它

    • 发布日期:2010-01-12
    • 文件大小:2097152
    • 提供者:hongye299
  1. automatic verification

  2. 这是一本关于automatic verification 的讲座。
  3. 所属分类:专业指导

    • 发布日期:2010-01-16
    • 文件大小:1048576
    • 提供者:panhaiyu
  1. Verification of Workflow Task Structures

  2. Verification of Workflow Task Structures A Petri-net-based approach
  3. 所属分类:其它

    • 发布日期:2010-01-27
    • 文件大小:532480
    • 提供者:elevenhours
  1. Prentice.Design.Verification.With.e.chm

  2. Prentice.Design.Verification.With.e.chm
  3. 所属分类:其它

    • 发布日期:2007-12-12
    • 文件大小:1048576
    • 提供者:nuaahuhuhu
  1. 软件调试,测试和验收- software debugging, testing and verification

  2. 软件测试相关理论和实践,software debugging, testing and verification. 供参考
  3. 所属分类:其它

    • 发布日期:2010-02-26
    • 文件大小:316416
    • 提供者:hittlle
  1. vmm example for verification

  2. IC验证的好资料啊!synopsys 2010关于验证的很好的培训资料哦1
  3. 所属分类:专业指导

    • 发布日期:2010-03-09
    • 文件大小:14680064
    • 提供者:zxping2050
« 1 2 3 4 56 7 8 9 10 ... 50 »