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

搜索资源列表

  1. A pratical guide to adopting the universal verification methodology(UVM)

  2. 非影印版,自己由影印的pdf文件,通过ORC识别,重新手动排版,更正的。里面大部分图都重新用VISIO画,比原来影印版的清楚多了。也更正了一些原书中的错误。去掉前言与附录。
  3. 所属分类:硬件开发

    • 发布日期:2012-06-29
    • 文件大小:2097152
    • 提供者:oscillator_cn1
  1. UVM1.1应用指南及源代码分析

  2. UVM是Universal Verification Methodology的缩写,即通用验证方法学。它起源于OVM(Open Verification Methdology),是由Cadence,Mentor和Synopsys联合推出的新一代的验证方法学。在2010年5月,UVM曾经出过一个EA(early adoption)版本,这个版本里,只是单纯的把OVM中所有的类的前缀由OVM改为了UVM,其它几乎没有任何变动。从这里可以看出UVM与OVM的深厚渊源。UVM的第一个正式版本1.0是在
  3. 所属分类:互联网

    • 发布日期:2012-07-03
    • 文件大小:3145728
    • 提供者:bluecarp
  1. system verilog for verification 3th

  2. This book should be the fi rst one you read to learn the SystemVerilog verifi cation language constructs. It describes how the language works and includes many examples on how to build a basic coverage-driven, constrained-random, layered testbench u
  3. 所属分类:硬件开发

    • 发布日期:2012-07-25
    • 文件大小:7340032
    • 提供者:bluecarp
  1. Verification Methodology Manual For SystemVerilog

  2. Verification Methodology Manual For SystemVerilog 目前比较主流的芯片验证技术
  3. 所属分类:硬件开发

    • 发布日期:2012-12-05
    • 文件大小:2097152
    • 提供者:jinneezzf
  1. Writing Testbenches - Functional Verification of HDL Models

  2. 本书主要以HDL(verilog/vhdl)为例,详细讲述了在IC DESIGN FLOW中 Verification 以及Test的设计思想、方法和技巧,涵概了测试的各个方面, 是目前进行IC设计的同仁们最为推荐的一本宝典!!
  3. 所属分类:硬件开发

    • 发布日期:2012-12-24
    • 文件大小:5242880
    • 提供者:huoyunjie_zky
  1. Clock Domain Crossing (CDC) Design & Verification Techniques Using SystemVerilog

  2. IEEE paper: Clock Domain Crossing (CDC) Design & Verification Techniques Using SystemVerilog
  3. 所属分类:嵌入式

    • 发布日期:2013-04-10
    • 文件大小:569344
    • 提供者:u010241112
  1. Automated Specification and Verification of Web Systems

  2. Automated Specification and Verification of Web Systems WWV09
  3. 所属分类:专业指导

    • 发布日期:2013-06-07
    • 文件大小:6291456
    • 提供者:jiangdmdr
  1. SAP_MIRO_Free-Tutorial-on-Invoice-Verification

  2. SAP_MIRO_Free-Tutorial-on-Invoice-Verification
  3. 所属分类:物流

    • 发布日期:2013-06-15
    • 文件大小:1048576
    • 提供者:twjchina
  1. Finite-State Concurrent System Verification

  2. Automatic Verification of Finite-State Concurrent System Using Temporal Logic Specifications
  3. 所属分类:软件测试

    • 发布日期:2013-06-22
    • 文件大小:1048576
    • 提供者:u011168556
  1. Computer Aided Verification

  2. Computer Aided Verification
  3. 所属分类:软件测试

    • 发布日期:2013-06-22
    • 文件大小:10485760
    • 提供者:u011168556
  1. Constraint-Based Verification

  2. Constraint-Based Verification
  3. 所属分类:软件测试

    • 发布日期:2013-06-22
    • 文件大小:1048576
    • 提供者:u011168556
  1. Embedded Architectures verification

  2. Functional Verification of Programmable Embedded Architectures
  3. 所属分类:软件测试

    • 发布日期:2013-06-22
    • 文件大小:8388608
    • 提供者:u011168556
  1. Hardware Design Verification Simulation

  2. Hardware Design Verification Simulation
  3. 所属分类:软件测试

    • 发布日期:2013-06-22
    • 文件大小:6291456
    • 提供者:u011168556
  1. VERIFICATION BY ERROR MODELING

  2. VERIFICATION BY ERROR MODELING
  3. 所属分类:软件测试

    • 发布日期:2013-06-22
    • 文件大小:13631488
    • 提供者:u011168556
  1. LNCS 2009-6 Computer Aided Verification

  2. LNCS 2009-6ComAidedVeri
  3. 所属分类:其它

    • 发布日期:2013-06-23
    • 文件大小:13631488
    • 提供者:u011168556
  1. SystemVerilog For Verification (Springer-2006)

  2. SystemVerilog For Verification (Springer-2006)
  3. 所属分类:Java

    • 发布日期:2008-09-14
    • 文件大小:1048576
    • 提供者:matrixwayne
  1. Computer-Aided Verification

  2. ACM fellow 的R.Alur和T. A. Henzinger 的课件
  3. 所属分类:教育

    • 发布日期:2013-08-03
    • 文件大小:3145728
    • 提供者:panhaiyu
  1. Writing Testbenches

  2. What is Verification? Verification Tools The Verification Plan Behavioral Hardware Descr iption Languages Stimulus and Response Architecting Testbenches Simulation Management Coding Guidelines
  3. 所属分类:硬件开发

    • 发布日期:2013-11-20
    • 文件大小:5242880
    • 提供者:perklunt
  1. Real-Time Systems Formal Specification and Automatic Verification

  2. Computers are used more and more to provide high-quality and reliable products and services, and to control and optimise production processes. Such computers are often embedded into the products and thus hidden to the human user.
  3. 所属分类:嵌入式

    • 发布日期:2013-12-08
    • 文件大小:1048576
    • 提供者:hacker2012
  1. Logic Synthesis and Verification Algorithms

  2. Logic Synthesis and Verification Algorithms
  3. 所属分类:硬件开发

    • 发布日期:2014-03-30
    • 文件大小:40894464
    • 提供者:nirvanno
« 1 2 3 4 5 6 7 89 10 11 12 13 ... 50 »