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

搜索资源列表

  1. formality的使用流程及注意事项

  2. formality的使用流程及注意事项。特别提到很多产生错误的原因以及解决方案，让你醍醐灌顶

  3. 所属分类：专业指导

    • 发布日期：2009-05-20
    • 文件大小：371712
    • 提供者：fengzhepianzhou

  1. 数字集成电路设计中静态时序分析

  2. 本文介绍了数字集成电路设计中静态时序分析（Static Timing Analysis）和 形式验证（Formal Verification）的一般方法和流程。这两项技术提高了时序分 析和验证的速度，在一定程度上缩短了数字电路设计的周期。本文使用Synopsys 公司的PrimeTime 进行静态时序分析，用Formality 进行形式验证。由于它们都是 基于Tcl（Tool Command Language）的工具，本文对Tcl 也作了简单的介绍。

  3. 所属分类：专业指导

    • 发布日期：2010-03-18
    • 文件大小：371712
    • 提供者：bmgshen

  1. pritime_formality中文资料

  2. 静态时序分析（Static Timing Analysis）和 形式验证（Formal Verification）的一般方法和流程。

  3. 所属分类：专业指导

    • 发布日期：2010-04-02
    • 文件大小：385024
    • 提供者：sxh14159

  1. formality的课件

  2. synopsys公司的Formality课件，希望能对想用的人有帮助！

  3. 所属分类：专业指导

    • 发布日期：2010-10-21
    • 文件大小：2097152
    • 提供者：zslhutu

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

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

  3. 所属分类：硬件开发

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

  1. primetime 中文教程

  2. 本文介绍了数字集成电路设计中静态时序分析（Static Timing Analysis）和 形式验证（Formal Verification）的一般方法和流程。这两项技术提高了时序分 析和验证的速度，在一定程度上缩短了数字电路设计的周期。本文使用Synopsys 公司的PrimeTime 进行静态时序分析，用Formality 进行形式验证。由于它们都是 基于Tcl （Tool Command Language）的工具，本文对Tcl 也作了简单的介绍。

  3. 所属分类：硬件开发

    • 发布日期：2011-11-04
    • 文件大小：370688
    • 提供者：han_xm

  1. PrimeTime 中文教程

  2. 本文介绍了数字集成电路设计中静态时序分析（Static Timing Analysis）和 形式验证（Formal Verification）的一般方法和流程。这两项技术提高了时序分 析和验证的速度，在一定程度上缩短了数字电路设计的周期。本文使用Synopsys 公司的PrimeTime 进行静态时序分析，用Formality 进行形式验证。由于它们都是 基于Tcl （Tool Command Language）的工具，本文对Tcl 也作了简单的介绍。

  3. 所属分类：Perl

    • 发布日期：2011-11-04
    • 文件大小：370688
    • 提供者：han_xm

  1. formality验证

  2. formality验证的技术总结，成功与失败的验证的例子的对比

  3. 所属分类：嵌入式

    • 发布日期：2012-03-15
    • 文件大小：994304
    • 提供者：y_m123

  1. PrimeTimeFormality中文教程

  2. Prime Time Formality 中文教程，总共40页

  3. 所属分类：硬件开发

    • 发布日期：2012-03-20
    • 文件大小：332800
    • 提供者：luoweixi

  1. 自己收集的formality 的全部资料打包

  2. 本人整理的formality的全部资源～ PPT 中文操作文档

  3. 所属分类：专业指导

    • 发布日期：2012-10-07
    • 文件大小：14680064
    • 提供者：su_270377563

  1. 静态时序分析和形式验证

  2. 本文介绍了数字集成电路设计中静态时序分析（Static Timing Analysis）和 形式验证（Formal Verification）的一般方法和流程。这两项技术提高了时序分 析和验证的速度，在一定程度上缩短了数字电路设计的周期。本文使用Synopsys 公司的PrimeTime进行静态时序分析，用Formality进行形式验证。由于它们都是 基于Tcl（Tool Command Language）的工具，本文对Tcl也作了简单的介绍。

  3. 所属分类：嵌入式

    • 发布日期：2012-11-11
    • 文件大小：371712
    • 提供者：roday

  1. Formality User Guide

  2. 形式验证的user guide，用于硬件开发，IC工程师会用得到

  3. 所属分类：硬件开发

    • 发布日期：2012-12-01
    • 文件大小：3145728
    • 提供者：qqhbcyywbl

  1. PrimeTime教程

  2. 本文介绍了数字集成电路设计中静态时序分析（Static Timing Analysis）和 形式验证（Formal Verification）的一般方法和流程。这两项技术提高了时序分 析和验证的速度，在一定程度上缩短了数字电路设计的周期。本文使用Synopsys 公司的PrimeTime 进行静态时序分析，用Formality 进行形式验证。由于它们都是基于Tcl（Tool Command Language）的工具，本文对Tcl 也作了简单的介绍。

  3. 所属分类：硬件开发

    • 发布日期：2013-01-24
    • 文件大小：371712
    • 提供者：sndong2073

  1. PrimeTime_Formality

  2. PrimeTime Formality 教程

  3. 所属分类：硬件开发

  1. The Ruby Programming Language

  2. The Ruby Programming Language is the authoritative guide to Ruby and provides comprehensive coverage of versions 1.8 and 1.9 of the language. It was written (and illustrated!) by an all-star team: David Flanagan, bestselling author of programming la

  3. 所属分类：其它

    • 发布日期：2017-08-07
    • 文件大小：4194304
    • 提供者：xuanguang001

  1. Ruby Programming Language 2008 pdf

  2. David Flanagan, Yukihiro Matsumoto The Ruby Programming Language is the authoritative guide to Ruby and provides comprehensive coverage of versions 1.8 and 1.9 of the language. It was written (and illustrated!) by an all-star team: David Flanagan, b

  3. 所属分类：专业指导

    • 发布日期：2018-09-02
    • 文件大小：5242880
    • 提供者：ouyangshit

  1. Formality一致性检查图文教程

  2. Formality一致性检查图文教程，适合于初学者快速入门，超详细

  3. 所属分类：硬件开发

    • 发布日期：2018-09-09
    • 文件大小：1048576
    • 提供者：wosmund

  1. Formality使用指南.ppt

  2. Formality使用指南,包括应用介绍，比较简单，上手容易。

  3. 所属分类：专业指导

    • 发布日期：2019-10-09
    • 文件大小：1048576
    • 提供者：wenskdy

  1. formality.pptx

  2. ptpx flow的全套流程，跟着完成就可以完全跑通ptpx，实现功耗评估。全亲手制作，如有不足还请多担待。

  3. 所属分类：硬件开发

    • 发布日期：2020-09-29
    • 文件大小：933888
    • 提供者：sz_woshishazi

  1. Formality-源码

  2. 具有正式证明的现代编程语言。 现在自己写！ 为什么要正式证明？ 当大多数人听到形式证明时，他们自然会想到数学和安全性，或“无聊的东西”。 虽然可以使用形式化证明来正式化定理并验证软件的正确性，但Formality的方法却有所不同：我们专注于将证明用作提高开发人员生产率的工具。 毫无疑问，将类型添加到非类型化语言中可以大大提高生产率，特别是当代码库增长到一定程度时：只需看看Typescr ipt的兴起。 形式证明在某种程度上是通用语言中使用的简单类型的演变。 我们认为，证明是等待探索的超级大

  3. 所属分类：其它

    • 发布日期：2021-03-04
    • 文件大小：809984
    • 提供者：weixin_42131342
« 12 »