这是一个工程例子，使用VCS，DVE，Verdi工具 对一个线性状态机的时序进行断言，使用的是Systemverilog语言，是初学SVA验证的入门。 线性状态机有IDEL，WAIT0，CNT1，，，CNT6，WAIT6，NEXT_BLK共16个state 资源说明：包含DUT代码，断言代码，断言说明pdf，以及脚本。

关于systemverilog断言的应用指南

Ashok B. Mehta (auth.) - SystemVerilog Assertions and Functional Coverage_ Guide to Language, Methodology and Applications-Springer International Publishing 非常好的学习验证的中文资料，尤其是assertion 。极力推荐。

中文版清华出版的A-Practical-Guide-for-SystemVerilog-Assertions，学习systemverilog断言的经典书籍

使用springboot框架快速搭建，封装自定义断言做业务校验，公共异常处理打印日志， 更简单的业务判断处理

业分类-物理装置-一种轻量级冗余断言筛选方法.zip

Chai 的自定义断言 对于我们的集成测试，我们制作了自己的 Chai 自定义断言。 这是我们以插件形式定义、收集和呈现它们的地方。 如何使用插件 要使用该插件，只需调用 Chai 的use()函数： var chai = require ( 'node_modules/chai/chai' ) ; var customAssertions = require ( 'node_modules/mobify-chai-assertions/assertions' ) ; chai . use ( customAssertions ) ; 新的断言方法 该插件通过添加以下方法扩展了 Chai。 随意使用assert或expect样式。 它们与列出的任何链一起使用。 （注意：由于Chai的API只支持expect风格，我们先为expect风格实现这些方法，然后将assert风格作为包装器）

这是一个 9 年前创建的旧项目，大约在 2005 年，我从我的骨灰中找到了它。 它可以从 Excel 中读取数据并根据 Excel 或数据库中的数据断言结果。 我将上传示例。

基于类型组合器的 AtScript 断言库。 设置 npm install tcomb-ats 将以下键添加到您的跟踪器选项中： { "types" : true , "typeAssertions" : true , "typeAssertionModule" : "path/to/tcomb-ats" , "annotations" : true // if you also want annotations } 在生产中设置"typeAssertions": false 。 演示 git clone https://github.com/gcanti/tcomb-ats.git cd tcomb-ats npm install gulp 在浏览器中打开./example/index.html 。 句法 原语 var t = require ( 'tcomb

Jmeter中断言的使用方法.doc