注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 静态时序分析（STA）和形式验证（formality）

  2. 静态时序分析和形式验证的基本原理和方法介绍。适合Timing工程师

  3. 所属分类：硬件开发

    • 发布日期：2011-04-07
    • 文件大小：371712
    • 提供者：mapledove

  1. SMV-程序的形式验证软件

  2. 非常实用的程序的形式验证软件， 验证C程序的安全性，功能性，实时性。

  3. 所属分类：C

    • 发布日期：2011-06-06
    • 文件大小：3145728
    • 提供者：mastuta

  1. 形式验证（第七讲）

  2. 形式验证（第七讲），主要讲述了形式验证的基本概念和应用

  3. 所属分类：电信

    • 发布日期：2013-09-29
    • 文件大小：389120
    • 提供者：hungtaowu

  1. 超大规模集成电路形式验证的方法研究

  2. 关于形式验证方法学的论文，来自优秀硕博士论文库

  3. 所属分类：电信

    • 发布日期：2014-05-25
    • 文件大小：3145728
    • 提供者：nrzero

  1. 基于SOC异步FIFO的设计与形式验证_张波.caj

  2. 基于SOC异步FIFO的设计与形式验证_张波.caj

  3. 所属分类：HP

    • 发布日期：2020-08-29
    • 文件大小：3145728
    • 提供者：gudububai

  1. 超大规模集成电路形式验证的方法研究_卢永江.caj

  2. 超大规模集成电路形式验证的方法研究_卢永江.caj

  3. 所属分类：电子政务

    • 发布日期：2020-08-29
    • 文件大小：3145728
    • 提供者：gudububai

  1. Tcl与Design Compiler 九综合后的形式验证.pdf

  2. Tcl与Design Compiler 九综合后的形式验证.pdf

  3. 所属分类：专业指导

    • 发布日期：2020-12-28
    • 文件大小：485376
    • 提供者：qq_36215315

  1. Zagier_project:扎吉尔一句费马定理的形式证明的形式验证-源码

  2. Zagier_project:扎吉尔一句费马定理的形式证明的形式验证

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：203776
    • 提供者：weixin_42140716

  1. 形式验证-源码

  2. 形式验证

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：21504
    • 提供者：weixin_42131414

  1. 形式验证-源码

  2. 形式验证

  3. 所属分类：其它

    • 发布日期：2021-02-28
    • 文件大小：13312
    • 提供者：weixin_42122432

  1. django形式验证-源码

  2. django形式验证

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：15360
    • 提供者：weixin_42174176

  1. 形式验证-源码

  2. 形式验证

  3. 所属分类：其它

    • 发布日期：2021-02-19
    • 文件大小：4194304
    • 提供者：weixin_42104366

  1. 形式验证-源码

  2. 形式验证 一个新的Flutter项目。 入门 该项目是Flutter应用程序的起点。 如果这是您的第一个Flutter项目，那么有一些资源可以帮助您入门： 要获得Flutter入门方面的帮助，请查看我们的，其中提供了教程，示例，有关移动开发的指南以及完整的API参考。

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：106496
    • 提供者：weixin_42113456

  1. 形式验证-源码

  2. 形式验证 约束验证API实践。 这是The Odin Project课程的一部分。

  3. 所属分类：其它

    • 发布日期：2021-02-15
    • 文件大小：403456
    • 提供者：weixin_42150745

  1. 形式验证-源码

  2. 形式验证

  3. 所属分类：其它

    • 发布日期：2021-02-15
    • 文件大小：2048
    • 提供者：weixin_42099633

  1. 与钩React形式验证-源码

  2. 与钩React形式验证

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：109568
    • 提供者：weixin_42131861

  1. 形式验证-源码

  2. 形式验证 作者：Ilan Zar 用HTML和CSS创建的表单，要求用户提供个人信息。 通过使用JAVAscr ipt进行了验证。

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：12288
    • 提供者：weixin_42102358

  1. 形式验证-源码

  2. 形式验证

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：46080
    • 提供者：weixin_42131705

  1. 形式验证器-源码

  2. 形式验证器

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：9216
    • 提供者：weixin_42138545

  1. formal_baby_snark：使用精益定理证明者对babySNARK证明系统进行形式验证-源码

  2. 正式的小蛇 该存储库使用实现对证明系统的形式验证。 这是一个进展中的工作。 截至2020年1月29日，babySNARK的知识健全证明免费。 定理的完整证明可以在Knowledge_soundness.lean的末尾找到。 精益代码摘要 Knowledge_soundness.lean文件具有几个与babySNARK实例化的参数匹配的参数语句。 这些是： $ F $定义多项式的字段。 $ m $，$ n_ {stmt} $，$ n_ {wit} $，对应于论文中的$ m $，$ l $和$

  3. 所属分类：其它

    • 发布日期：2021-02-09
    • 文件大小：14336
    • 提供者：weixin_42137022
« 12 3 4 5 6 7 8 9 10 ... 50 »