搜索资源列表
lunwen
- 针对基于原型的单继承面向对象模型，通过扩展库的形式实现了Lua对契约式开发的支持，包括原型不变式、 函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点 和改进思路。-Single inheritance for prototype-based object-oriented model, achieved by extending the database in the fo
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 Targe
java_assertion
- java_assertion---J2SE 1.4在语言上提供了一个新特性，就是assertion(断言)功能，它是该版本在Java 语言方面最大的革新。在软件开发中，assertion是一种经典的调试、测试方式，本文 将深入解析assertion功能的使用以及其设计理念，并给出相关的例子 。 -Java assertion
SVA-script
- 一个自己总结的systemverilog assertion读书笔记，基本上systemverilog assertion的语法比较全。简单易懂。适合SVA入门。-systemverilog assertion scr ipt
antlr
- ANTLR—Another Tool for Language Recognition，其前身是PCCTS，它为包括Java，C++，C#在内的语言提供了一个通过语法描述来自动构造自定义语言的识别器（recognizer），编译器（parser）和解释器（translator）的框架。ANTLR可以通过断言（Predicate）解决识别冲突；支持动作（Action）和返回值（Return Value）来；更棒的是，它可以根据输入自动生成
GSoCAS-3
- 1. what kind of noise/errors/uncertainties/unmodeled things affect the GPS precision : AS, SA, orbits, clocks, ionosphere, troposphere, antenna phase centers, centering (tribrachs), etc... 2. how do we evaluate GPS
stx-btree-0.8.6.tar
- The STX B+ Tree package is a set of C++ template classes implementing a B+ tree key/data container in main memory. The classes are designed as drop-in replacements of the STL containers set, map, multiset and multimap an
find_if
- 所谓断言函数，就是返回bool值的函数。-The assertion function, the return the bool value the function.
Random_Testing_of_C_Calling_Conventions
- In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant: parameters passed to a function mu
man-month
- 《人月神话》作者为人们管理复杂项目提供了颇具洞察力的见解，既有很多发人深省的观点，也有大量的软件工程实践。书中的内容来自布鲁克斯在IBM公司System 360家族和OS 360中的项目管理经验。初版的20年后，布鲁克斯重新审视了他原先的观点，增加了一些新的想法和建议。新增加的章节包括：原著中一些核心观点的精华；在经过了一个时代以后，Brooks博士对原先观点新的认识；1986年的经典文章《没有银弹》；对1986年所下论断（在10年内不
Final
- 输入几个条件、论断，判断结论是否为正确，应用了链表的拓扑排序。-Enter a few conditions, assertion, judgment conclusion is correct, the application of topological sorting of the list.
DigitalDesignofSignalProcessing
- This chapter begins from the assertion that the advent of VLSI (very large scale integration) has enabled solutions to intractable engineering problems.
CUnit-2.1-2
- CUnit提供了单元测试框架，并为常用的数据类型提供了丰富的断言语句支持-CUnit provides a unit testing fr a mework, and is commonly used data types provide a wealth of assertion statements support
std_ovl_v2p7_Feb2013
- 目前最新的OVL库，里面是标准的ASSERTION模块，支持VHDL刚Verilog，最近在做AXI协议验证的时候用到，分享下-The latest OVL(open verification library),including all standard module of assertions(VHDL and Verilog). It can be used into AXI Protocl Verification. Just
cAMERAsERVICEtEST.RAR
- Assertion and Logging utilities for linux Device Driver.
sva2_toc_preface
- system verilog assertion handbook 2nd edition
AssertionError
- Thrown when a ssertion has failed for Andriod. -Thrown when an assertion has failed for Andriod.
SystemVerilog-Assertions-source-code
- SystemVerilog Assertion 应用指南一书的每章断言源代码，很好的SVA学习资料-SystemVerilog Assertion Application Guide for each chapter of a book asserts the source code, a very good learning materials SVA
74567
- 使用断言宏检测程序的运行状态，VC++精选学习编程源码，很好的参考资料。-Running state using assertion macros detection program, selection of learning VC++ programming source code, a good reference.