搜索资源列表
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 idp.cer 这个命令将导出公钥证书，公钥证书将会配
lunwen
- 针对基于原型的单继承面向对象模型，通过扩展库的形式实现了Lua对契约式开发的支持，包括原型不变式、 函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点 和改进思路。-Single inheritance for prototype-based object-oriented model, achieved by extending the database in the form of a Lua development of con
sva_assetion
- 学习SVA的最基本的例子，对于想了解systemverilog assertion的相关人员非常有用！-SVA learn the most basic example, the systemverilog assertion would like to know the person very useful!
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 ipt system
zzbds
- 本文目标 如何使用本教程 正则表达式到底是什么？ 入门 测试正则表达式 元字符 字符转义 重复 字符类 反义 替换 分组 后向引用 零宽断言 负向零宽断言 注释 贪婪与懒惰 处理选项 平衡组/递归匹配 还有些什么东西没提到 联系作者 最后,来点广告... 一些我认为你可能已经知道的术语的参考 网上的资源及本文参考文献 更新说明 -In this p
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 == TRUE" pops up when running a pro
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
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. These tools include classes for cr
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, Brooks, Dr new understanding of
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 Verification (ABV). This pap
SYMBIAN2
- Symbian C++高效编程：本书旨在帮助读者编写良好的基于Symbian OS的C++程序。全书共分为21章，分别介绍了Symbian OS中的类命名约定、异常退出、清除栈、两段构造、描述符、良好的描述符风格、动态的数组与缓冲区、使用活动对象的事件驱动多任务、活动对象、Symbian OS的线程与进程、客户/服务器原理、客户/服务器框架实践、二进制类型、ECOM、严重错误、用断言发现bug、调试宏与测试类、兼容性、轻量级模板、API、良好的编码风格等内容。 本书适合于使用Symbia
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.
assertion_interface_classes
- Assertion and Interface Classes Examples in System Verilog.
Ms32pci
- PCI-ip硬件描述语言-开源的，可以做参考设计，如果需要的话，-This models are written in VHDL! Author is Ovidiu Lupas! MASTER model generates PCI compliant signals checks Target signal compliance with PCI checks data received from Target for correctness generates
systemverilog+assertions应用指南
- system verilog assertion介绍(system verilog assertion introduction)