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

搜索资源列表

  1. Systems and Software Verification

  2. 模型检测(model checking)是一种很重要的自动验证技术。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分别提出,主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。由于模型检测可以自动执行,并能在系统不满足性质时提供反例路径,因此在工业界比演绎证明更受推崇。尽管限制在有穷系统上是一个缺点,但模型检测可以应用于许多非常重要的系统,如硬件控制器和通信协议等有穷状态系统。
  3. 所属分类:管理软件

    • 发布日期:2017-10-11
    • 文件大小:14680064
    • 提供者:jacobke
  1. A-Practical-Guide-to-Adopting-the-Universal-Verification-Methodology(UVM).pdf

  2. the-Universal-Verification-Methodology(UVM)验证的介绍书籍,可作为SV验证知道。。。。。。。。。。。。。。。。
  3. 所属分类:硬件开发

    • 发布日期:2017-10-14
    • 文件大小:3145728
    • 提供者:whozhidoa
  1. 解决eclipse 导出jar混淆后在android studio 出apk时报unknown verification type[***]

  2. 本资源使用的方法很简单,找到sdk\tools\proguard\lib文件夹,里面有三个文件,分别是,proguard.jar,proguardgui.jar,retrace.jar,把这三个文件移出lib目录,把本资源解压出来后的三个jar文件放在lib目录下,启动proguardguie.bat,进行混淆,这样就可以解决混淆后的jar报unknown verification type[***]的问题。
  3. 所属分类:Android

    • 发布日期:2017-12-28
    • 文件大小:706560
    • 提供者:wddptwd28
  1. practical_soc_verification

  2. This paper provides some guidelines on how to approach System On a Chip (SOC) verification, and how to create effective SOC testbenches. It surveys the challenges in SOC verification and some of the traditional verification techniques, and then focu
  3. 所属分类:其它

    • 发布日期:2009-03-21
    • 文件大小:103424
    • 提供者:eenewman
  1. System Verilog for Verification

  2. This book should be the first one you read to learn the SystemVerilog verification language constructs. It describes how the language works and includes many examples on how to build a basic coverage-driven, constrained-random, layered testbench usi
  3. 所属分类:专业指导

    • 发布日期:2018-04-29
    • 文件大小:9437184
    • 提供者:bulabala
  1. Secure Template Protection In Touch-less Based Fingeprint Verification System

  2. Cancellable biometrics has been a challenging and essential approach to protect the privacy of biometric templates. Multiple Random Projections (MRP) is our formerly presented two-factor cancellable formulation. In that method, the biometric data is
  3. 所属分类:深度学习

    • 发布日期:2018-06-15
    • 文件大小:290816
    • 提供者:weixin_42466353
  1. 校核、验证与确认支撑软件

  2. 用于仿真系统研发中建模与仿真的校核、验证和确认,为VV&A (Verification,Validation and Accreditation,即校核、验证与确认)人员提供支撑工具,协助制订规范的VV&A工作流程,完成建模与仿真以及系统设计的校核,对模型和系统的可信度进行评估分析验证,提高建模和仿真(Modeling & simulation,简称M&S)的可信度,采集处理仿真试验数据,为产品的确认提供可靠的数据。
  3. 所属分类:制造

    • 发布日期:2018-07-22
    • 文件大小:2097152
    • 提供者:weixin_42761983
  1. coverage-cookbook-complete-verification-academy

  2. coverage-cookbook-complete-verification-academy Candence Academy官方coverage文档
  3. 所属分类:IBM

    • 发布日期:2018-07-24
    • 文件大小:2097152
    • 提供者:xuhaoee
  1. A Verification Platform for System on Chip

  2. A Verification Platform for System on Chip。希望对大家有所帮助。
  3. 所属分类:专业指导

    • 发布日期:2018-07-29
    • 文件大小:932864
    • 提供者:zhajio
  1. contraining designs for synthesis and timing analysis

  2. contraining designs for synthesis and timing analysis,IC design and verification reading books
  3. 所属分类:嵌入式

    • 发布日期:2018-07-31
    • 文件大小:8388608
    • 提供者:suifanchang
  1. Busting the Myth that SystemVerilog is only for Verification

  2. 讲解如何使用 Systemverilog 编写可综合的 RTL,并针对 DC 和 Synplify-Pro 进行了具体的说明。有目录。
  3. 所属分类:其它

    • 发布日期:2018-08-02
    • 文件大小:337920
    • 提供者:fdave97
  1. IEEE Standard for Universal Verification Methodology Language Reference Manual

  2. IEEE 1800.2 Standard for Universal Verification Methodology Language Reference Manual
  3. 所属分类:硬件开发

    • 发布日期:2018-08-06
    • 文件大小:5242880
    • 提供者:hu6536
  1. systemverilog for verification

  2. systemverilog for verification, ic验证必备,sv快速入门
  3. 所属分类:嵌入式

    • 发布日期:2018-09-06
    • 文件大小:4194304
    • 提供者:weixin_43145254
  1. Open Verification Methodology Cookbook

  2. Open Verification Methodology Cookbook,OVM开发手册。
  3. 所属分类:硬件开发

    • 发布日期:2018-09-26
    • 文件大小:1048576
    • 提供者:washingtonxr
  1. Writing Testbenches, Functional Verification of HDL Models

  2. 高清英文版本 《Writing Testbenches, Functional Verification of HDL Models》 by Janick Bergeron 本书主要以HDL(verilog/vhdl)为例,详细讲述了在IC design flow中Verification 以及Test的设计思想、方法和技巧,涵概了测试的各个方面,是目前进行IC设计的同仁们最为推荐的一本宝典!!
  3. 所属分类:专业指导

  1. uvm-cookbook-complete-verification-academy

  2. uvm-cookbook-complete-verification-academy
  3. 所属分类:硬件开发

    • 发布日期:2019-01-02
    • 文件大小:5242880
    • 提供者:qq_41394155
  1. Runtime Verification RV2010

  2. Runtime Verification First International Conference, RV 2010 St. Julians, Malta, November 1-4, 2010 Proceedings
  3. 所属分类:讲义

    • 发布日期:2019-02-09
    • 文件大小:6291456
    • 提供者:jiangdmdr
  1. System Verilog for Verification

  2. System Verilog验证平台编写指南第二版原版 The SystemVerilog language includes features for design, verification, assertions, and more. This book focuses on the constructs used to verify a design. There are many ways to solve a problem using SystemVerilog. This bo
  3. 所属分类:其它

    • 发布日期:2019-03-12
    • 文件大小:2097152
    • 提供者:qq_26313585
  1. 《Personal Identity Verification (PIV) of Federal Employees and Contractors》

  2. 《美国联邦政府雇员和合同工个人身份识别介质规范 Personal Identity Verification (PIV) of Federal Employees and Contractors》NIST.FIPS.201-2 美国政府的规范建设比中国成体系太多了!这个规范只是这个体系规范的一个最核心的部分,实际上该体系是系列规范按照完整的体系构建的,而且不断发布升级版本用以覆盖最新的技术和完善体系结构。 这是构建一套比较完善的计算机系统或者网络安全体系的重要参考。特别是以智能卡或U盾构建安全
  3. 所属分类:系统安全

    • 发布日期:2019-04-19
    • 文件大小:4194304
    • 提供者:artoyq
  1. ESL Design and Verification.pdf

  2. ESL Design and Verification: A Prescr iption for Electronic System Level Methodology
  3. 所属分类:硬件开发

    • 发布日期:2019-05-17
    • 文件大小:3145728
    • 提供者:qq_41394155
« 1 2 ... 5 6 7 8 9 1011 12 13 14 15 ... 50 »