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

搜索资源列表

  1. [assertion]PSL - Property Specification Language.pdf

  2. 基于sugar的PSL是应用很广的verification语言，可大大降低verifcation的复杂度，提高效率

  3. 所属分类：专业指导

    • 发布日期：2009-07-01
    • 文件大小：550912
    • 提供者：lau0984

  1. IEEE Std 1850-2007.pdf

  2. PSL的IEEE标准，主要讲述了PSL中key word的用法，语法相关

  3. 所属分类：专业指导

    • 发布日期：2009-07-01
    • 文件大小：1048576
    • 提供者：lau0984

  1. bmc patrol psl开发文档

  2. bmc patrol的psl开发文档，适合新手，还有另外一个，改天上传

  3. 所属分类：Java

    • 发布日期：2010-05-24
    • 文件大小：883712
    • 提供者：amyujialin2

  1. bmc patrol PSL开发文档2

  2. patrol psl的官方开发文档,比较简单，但需要patrol环境

  3. 所属分类：Java

    • 发布日期：2010-08-18
    • 文件大小：2097152
    • 提供者：amyujialin2

  1. PSL 690技术说明书

  2. PSL 690技术说明书

  3. 所属分类：专业指导

    • 发布日期：2012-07-27
    • 文件大小：1048576
    • 提供者：jyxctg

  1. PSL VERBAL 总汇

  2. 和SHL相似的求职题库 分享给所有想进入外企投行的人

  3. 所属分类：专业指导

    • 发布日期：2013-07-01
    • 文件大小：1048576
    • 提供者：jeneyaxy

  1. SHL / PSL verbal 葵花宝典 必过秘籍

  2. top tips for PSL / SHL verbal tests. I seriously hate the word limit set by the webstie.

  3. 所属分类：其它

    • 发布日期：2013-11-25
    • 文件大小：31744
    • 提供者：u012945315

  1. PSL最全题库

  2. PSL Numerical最全题库 专为online test

  3. 所属分类：金融

    • 发布日期：2015-02-08
    • 文件大小：2097152
    • 提供者：qq_25908919

  1. PSL型便携式污泥界面计.pdf

  2. PSL型便携式污泥界面计pdf,PSL型便携式污泥界面计

  3. 所属分类：其它

    • 发布日期：2019-10-11
    • 文件大小：273408
    • 提供者：weixin_38744375

  1. 三木 PSL-K型POSI LOCK(R)轴套选型手册.pdf

  2. 三木 PSL-K型POSI LOCK(R)轴套选型手册pdf,三木 PSL-K型POSI LOCK(R)轴套选型手册

  3. 所属分类：其它

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

  1. psl（2 | 2）Gross–Neveu模型中的高梯度算子

  2. 25年前就已经观察到sigma模型摄动理论受与RG相关的高梯度算子的强烈影响。 该现象首先出现在O（N）矢量模型的1循环计算中，并且已知至少会持续两个循环。 最近，Ryu等人。 建议在水平k = 1时psl（N | N）– WZNW模型的某个变形，或等效地psl（N | N）– Gross –Neveu模型，可以不包含与RG相关的高 梯度算子，他们在微扰理论中测试了他们对领先顺序的建议。 在本说明中，我们确定在所有循环的psl（2 | 2）– Gross – Neveu模型中都没有与RG相关的高

  3. 所属分类：其它

    • 发布日期：2020-04-01
    • 文件大小：241664
    • 提供者：weixin_38685538

  1. 前端项目-psl.zip

  2. 前端项目-psl,Domain name parser based on the Public Suffix List

  3. 所属分类：其它

    • 发布日期：2019-09-04
    • 文件大小：194560
    • 提供者：weixin_38744270

  1. 前端项目-psl.zip

  2. 前端项目-psl,Domain name parser based on the Public Suffix List

  3. 所属分类：其它

    • 发布日期：2019-09-02
    • 文件大小：194560
    • 提供者：weixin_38744207

  1. 基于PSL/Sugar语言的RISC模块验证

  2. 由于RISC具有流水线结构和指令多样性的特点,传统的Co-Verification方法使RISC验证工作复杂而艰巨。在用PERL语言编写产生的随机测试机器码的基础上,利用Accellera组织提出的PSL/Sugar语言,结合Cadence公司的ABV验证工具,探讨了一种新颖的RTL级RISC模块的ABV验证模式。

  3. 所属分类：其它

    • 发布日期：2020-08-05
    • 文件大小：113664
    • 提供者：weixin_38726407

  1. 用PSL语言进行基于断言的验证方法

  2. 本文介绍了如何用PSL语言进行基于断言的仿真和形式验证。这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间。

  3. 所属分类：其它

    • 发布日期：2020-08-05
    • 文件大小：74752
    • 提供者：weixin_38602098

  1. 模拟技术中的基于PSL语言的数字集成电路功能覆盖率测试

  2. 设计复杂度的增加、IP重用等当前复杂SoC/ASIC设计的特性要求对设计的功能进行更加充分的验证。基于PSL的功能覆盖率分析与传统的代码覆盖率分析共同构成了一个完整的衡量电路验证质量的尺度，这一全新设计方法学的使用将有效 提高验证的质量和效率。　　随着集成电路的广泛应用，对功能正确性及速度、功耗、可靠性等都有严格要求。其中，功能正确性是最基本的要求。2003 年度的国际半导体技术发展报告（International Technology Roadmap for Semicon

  3. 所属分类：其它

    • 发布日期：2020-12-08
    • 文件大小：133120
    • 提供者：weixin_38576811

  1. psl:Mozilla的公共后缀列表的本地Rust库-源码

  2. Mozilla的公共后缀列表的本地Rust库 该库使用Mozilla的“可靠地确定域名的后缀。 它将列表编译为本地Rust代码，以实现最终的速度和正确性。 维护人员可以单独完成此列表的编译，因此板条箱仍然可以非常快速地进行编译。 此板条箱甚至在std库上也没有依赖性，因此它甚至可以在嵌入式系统中使用。 配置 将此箱子添加到您的Cargo.toml ： [ dependencies ] psl = " 1 " 例子 let suffix = psl :: suffix ( b"www.exam

  3. 所属分类：其它

    • 发布日期：2021-03-10
    • 文件大小：195584
    • 提供者：weixin_42172204

  1. vscode-psl-lang:用于PSL的VSCode扩展-源码

  2. 用于PSL的VSCode扩展 此扩展在Visual Studio Code中增加了对 （ ）的支持。 特征 标准PSL语法突出显示 支持Sentry的PSL预编译指令 支持Sentry的PSL单元测试指令 “大纲”窗格中已定义函数的列表 要求 没有。 扩展设置 没有。 已知的问题 没有。 发行说明 1.3.0 添加了“ PSLDoc”标签的突出显示 1.2.0 修复了函数定义嵌入字符串中的错误 添加了突出显示的函数调用 添加了常量突出显示（全部大写） 1.1.0 将功能列表添加到“大纲”窗

  3. 所属分类：其它

    • 发布日期：2021-03-07
    • 文件大小：59392
    • 提供者：weixin_42104181

  1. PSL基础设施：策略模拟库由共享PSL基础设施项目设置的透明度标准和互操作性标准的模型和建模工具组成-源码

  2. 策略模拟库（PSL）是一个用于公共政策决策的开源软件库。 PSL中的模型由符合透明性的独立项目开发。 建模项目还可以采用PSL的互操作性和社区建设标准，该标准采取有关界面设计和组织活动的建议的形式。 PSL的目标是跨越政府和政策领域。 驻留在此存储库中的PSL基础结构项目可设置PSL标准并开发基础结构以支持PSL。 正在开发的PSL基础设施项目包括： 项目及其关键属性的PSL目录，由PSL-Core的Catalog-Builder工具自动构建。 网站托管常规的图书馆信息和PSL目录。

  3. 所属分类：其它

    • 发布日期：2021-02-25
    • 文件大小：1048576
    • 提供者：weixin_42125826

  1. psl：PHP标准库-适用于PHP程序员的一组现代，一致，集中，类型正确的API-源码

  2. Psl-PHP标准库 Psl是受启发PHP标准库。 Psl的目标是为PHP程序员提供一致的，集中的，类型正确的API集。 例 <?php declare (strict_types= 1 ); use Psl \ Arr ; use Psl \ Str ; /** * psalm-param iterable $codes */ function foo ( iterable $ codes ): string { /** var list $codes */ $

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：242688
    • 提供者：weixin_42169971
« 12 3 4 »