Location:
Search - assertion
Search list
Description: java程序，适合初学者，可编译运行，已测试-java procedures for beginners, the compiler can run, have tested
Platform: |
Size: 991 |
Author: lisa |
Hits:
Description: Assertion based design_and:Including:Assertion methdology,Specifyingg RTL Properties,
PLI-Based Assertions Functional coverage-Assertion based design_and : Including : Assertion methdology. Specifyingg RTL Properties, PLI-Based Functional coverage Assertions
Platform: |
Size: 3074817 |
Author: Mr.Han |
Hits:
Description: 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
这个命令将导出公钥证书，公钥证书将会配置在Identity Assertion Provider的Details选项卡中，同时需要配置123456作为访问证书的密码
2. 如何编译
修改build\\目录下build.local.properties文件，将其中的WL_HOME指向具体的WebLogic Server安装目录
然后在build目录下执行ant即可
demo/目录中有编译好的demo应用，可以直接使用
Platform: |
Size: 973058 |
Author: thomas |
Hits:
Description: 国外游戏开发者杂志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 script system
Platform: |
Size: 12288 |
Author: 站长 |
Hits:
Description: java程序，适合初学者，可编译运行，已测试-java procedures for beginners, the compiler can run, have tested
Platform: |
Size: 1024 |
Author: lisa |
Hits:
Description: Assertion based design_and:Including:Assertion methdology,Specifyingg RTL Properties,
PLI-Based Assertions Functional coverage-Assertion based design_and : Including : Assertion methdology. Specifyingg RTL Properties, PLI-Based Functional coverage Assertions
Platform: |
Size: 3074048 |
Author: Mr.Han |
Hits:
Description: 基于VC++的mapx多文档程序源代码，功能挺多的，是个不错的学习资料-based VC mapx Multi- Document program source code, functional Dad, it is a good learning materials
Platform: |
Size: 196608 |
Author: 醉舟 |
Hits:
Description: 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
这个命令将导出公钥证书，公钥证书将会配置在Identity Assertion Provider的Details选项卡中，同时需要配置123456作为访问证书的密码
2. 如何编译
修改build\目录下build.local.properties文件，将其中的WL_HOME指向具体的WebLogic Server安装目录
然后在build目录下执行ant即可
demo/目录中有编译好的demo应用，可以直接使用-1. How to generate self-signed, as well as export the KeyStore for SP
Platform: |
Size: 972800 |
Author: thomas |
Hits:
Description: 本文目标
如何使用本教程
正则表达式到底是什么？
入门
测试正则表达式
元字符
字符转义
重复
字符类
反义
替换
分组
后向引用
零宽断言
负向零宽断言
注释
贪婪与懒惰
处理选项
平衡组/递归匹配
还有些什么东西没提到
联系作者
最后,来点广告...
一些我认为你可能已经知道的术语的参考
网上的资源及本文参考文献
更新说明
-In this paper, the goal of this tutorial how to use regular expressions in the end what? Introduction to test regular expressions metacharacters escaped characters repeat the characters to replace sub-category of antisense to the reference zero-width negative assertion that the Notes to the zero-width processing options greed and lazy balance group/Recursive matching is also what has not been mentioned by some Contact the author Finally, to point a number of ads ... I think you may know the terms of reference online resources and references in this article update
Platform: |
Size: 21504 |
Author: 么么 |
Hits:
Description: OVL——基于断言的verilog验证
Verilog数字系统设计:RTL综合、测试平台与验证-OVL- assertion-based verification of Verilog Verilog digital system design: RTL synthesis, test and verification platform
Platform: |
Size: 69632 |
Author: |
Hits:
Description: Evaluation on how to use SystemVerilog as a design and assertion language.pdf 一本不错的systemveilog书籍，希望大家喜欢！-Evaluation on how to use SystemVerilog as a design and assertion language.pdf a good systemveilog books, hope you like!
Platform: |
Size: 2649088 |
Author: yangyu |
Hits:
Description: 关于断言的一篇小文章，特别适合初学者~这个在mfc中用的很多！-Assertion about a small article, especially suitable for beginners ~ mfc used in this much!
Platform: |
Size: 132096 |
Author: zzaaqqss |
Hits:
Description: SystemVerilog Assertion Book
Platform: |
Size: 10617856 |
Author: Madhaiyan |
Hits:
Description: Documents contains about assertion
Platform: |
Size: 601088 |
Author: Madhaiyan |
Hits:
Description: Assertion basic explination on system verilog
Platform: |
Size: 3453952 |
Author: Madhaiyan |
Hits:
Description: SystemVerilog Assertion的应用例子。例子均在Synopsys VCS环境下编译通过。-The uploaded files are examples of Systemverilog Assertions. All of the codes are compiled successfully in Synopsys VCS environment.
Platform: |
Size: 5120 |
Author: ls |
Hits:
Description: 这个是SystemVerilog Assertion Handbook 的书籍，是讲述systemverilog 断言的一本入门教程，很适合systemverilog的初学者-This is the SystemVerilog Assertion Handbook of books, is about systemverilog asserted an introductory tutorial, it is suitable for beginners systemverilog
Platform: |
Size: 470016 |
Author: xiezhuneng |
Hits:
Description: assertion based system design
Platform: |
Size: 3762176 |
Author: shank |
Hits:
Description: SystemVerilog Assertion的英文版使用手册，用于verilog的形式验证或功能验证，仅供学习交流-The English version of SystemVerilog Assertion manuals for formal verification or verilog functional verification, only to learn exchange
Platform: |
Size: 21720064 |
Author: monica |
Hits:
Description: system verilog assertion介绍(system verilog assertion introduction)
Platform: |
Size: 1290240 |
Author: foreverleej |
Hits: