搜索资源列表
Assertion
- java程序，适合初学者，可编译运行，已测试-java procedures for beginners, the compiler can run, have tested
rel
- 1. 如何生成自签名的KeyStore以及导出供SP使用的公钥 C:>keytool -v -genkey -alias idp -keystore idp.jks -keyalg RSA -dname uid=idp 然后按照提示输入密码即可，这里选择输入123456作为密码，同时主口令也使用该密码 C:>keytool -v -export -alias idp -keystore idp.jks -file
jun02
- 国外游戏开发者杂志2002年第六期配套代码，包含Emil Dotchevski演示他在C 脚本系统中使用的断言表达式的代码--Code of game development magazine in 2002 the sixth issue, contains code that Emil Dotchevski`s demonstration how to use assertion expression in the C scr ip
Assertion
- java程序，适合初学者，可编译运行，已测试-java procedures for beginners, the compiler can run, have tested
VC+++MapX
- 基于VC++的mapx多文档程序源代码，功能挺多的，是个不错的学习资料-based VC mapx Multi- Document program source code, functional Dad, it is a good learning materials
rel
- 1. 如何生成自签名的KeyStore以及导出供SP使用的公钥 C:>keytool -v -genkey -alias idp -keystore idp.jks -keyalg RSA -dname uid=idp 然后按照提示输入密码即可，这里选择输入123456作为密码，同时主口令也使用该密码 C:>keytool -v -export -alias idp -keystore idp.jks -file
zzbds
- 本文目标 如何使用本教程 正则表达式到底是什么？ 入门 测试正则表达式 元字符 字符转义 重复 字符类 反义 替换 分组 后向引用 零宽断言 负向零宽断言 注释 贪婪与懒惰 处理选项 平衡组/递归匹配 还有些什么东西没提到 联系作者 最后,来点广告... 一些我认为你可能已经知道的术语的参考 网上的资
OVL
- OVL——基于断言的verilog验证 Verilog数字系统设计:RTL综合、测试平台与验证-OVL- assertion-based verification of Verilog Verilog digital system design: RTL synthesis, test and verification platform
VisualLeakDetector
- visual leak detector -Visual Leak Detector (VLD) Version 1.9b (beta) Change Log/Release Notes 1.9d beta (12 November 2006) ---------------------------- Bugs Fixed: + Failed assertion "freed == TR
FaceRecognition
- 从一副人物照片中识别出人的面部，并用矩形标出识别出的面部区域。声明：核心识别算法非原创。但来源已不清楚。-To recognize one s face from one s photo and mark it. Assertion: the core codes are not original.
GettingStartedwithSVA
- Documents contains about assertion
sva_assetion
- 学习SVA的最基本的例子，对于想了解systemverilog assertion的相关人员非常有用！-SVA learn the most basic example, the systemverilog assertion would like to know the person very useful!
openws-1.3.0-bin.tar
- SAML（Security Assertion Markup Language，安全断言标记语言）是由OASIS管理，得到各主流IT厂商支持和部署最广泛的网站SSO标准。它提供了一个安全且可扩展的数据格式集，在各种环境下交换数据和身份识别信息。-The OpenWS library provides a growing set of tools to work with web services at a low level. Thes
renyueshenhua
- 本书新增加的章节包括：原著中一些核心观点的精华；在经过了一个时代以后，Brooks博士对原先观点新的认识；1986年的经典文章《没有银弹》；对1986年所下论断（在10年内不会出现银弹）现在的认识。 -Additional chapters in this book include: original essence of some of the core ideas in the future after an era, B
GUI
- Test Assertion, 提供Assertion Test-Test Assertion
SystemVerilogEventRegionsRaceAvoidanceGuidelines.r
- The IEEE1800 SystemVerilog Standard includes new event regions primarily added to reduce race conditions between verification code and SystemVerilog designs. The new regions also facilitate race-free Assertion Based
SYMBIAN2
- Symbian C++高效编程：本书旨在帮助读者编写良好的基于Symbian OS的C++程序。全书共分为21章，分别介绍了Symbian OS中的类命名约定、异常退出、清除栈、两段构造、描述符、良好的描述符风格、动态的数组与缓冲区、使用活动对象的事件驱动多任务、活动对象、Symbian OS的线程与进程、客户/服务器原理、客户/服务器框架实践、二进制类型、ECOM、严重错误、用断言发现bug、调试宏与测试类、兼容性、轻量级模板、API
Constraint-Based-Verification
- 系統化驗証方法及實例探討Assertion, Constraint synthesis-Electronic Design complexity getting higher, the verification work needs to be fully understood
SystemVerilogAssertion
- SystemVerilog Assertion的应用例子。例子均在Synopsys VCS环境下编译通过。-The uploaded files are examples of Systemverilog Assertions. All of the codes are compiled successfully in Synopsys VCS environment.
systemverilog+assertions应用指南
- system verilog assertion介绍(system verilog assertion introduction)