EasyVVUQ EasyVVUQ的目的是促进各种模拟的验证，确认和不确定性量化（VVUQ）。 虽然在简单情况下非常方便，但是EasyVVUQ特别适用于以下情况：模拟的计算量很大，需要异构的计算资源，采样空间很大或簿记非常复杂。 它使用高效的数据库协调执行，具有容错能力，并且可以保存所有进度。 以下是EasyVVUQ可以回答的有关您的代码的一些问题示例： 考虑到输入参数的不确定性，输出的分布是什么？ 每个输入参数占输出方差的百分比是多少？ 还可以让您构造比完整的仿真便宜评估的代理模型。 基本概念在和介绍。 有关将仿真与EasyVVUQ接口的介绍，请参阅笔记本。 可用的分析和采样方法： 多项式混沌展开 随机搭配 蒙特卡罗灵敏度分析 马尔可夫链蒙特卡洛 EasyVVUQ还支持使用以下方法构建代理模型： 多项式混沌展开 随机搭配 高斯过程 支持的计算资源： 传统集群 最简单的

ASIC验证中覆盖率统计方面的，是从verification-academy官网上拽下来的

lala

Constraint-Based Verification.pdf )

Verification has evolved into a complex project that often spans internal and external teams, but the discontinuity associated with multiple, incompatible methodologies among those teams has limited productivity. The Universal Verification Methodology (UVM) 1.2 Class Reference addresses verification

IEEE关于低功耗电子系统的设计和验证标准，权威可研读

手上有纸质板的 Systermverilog 验证第二版（中文），看着比较晦涩，荡了个英文版，看着容易懂多了，现分享给大家！！

ansys APDL 命令流 官方 英文资料

System Verilog for Verification

标准内容高清可复制，非扫描版。 Part 5: Enhanced definitions and verification methods for harmonization of pulse generators according to ISO 7637 道路车辆 — 传导和耦合引起的电气干扰 — 第 5 部分：根据 ISO 7637 的脉冲发生器协调的增强定义和验证方法 ISO/TR 7637-5:2016 提出了脉冲发生器的扩展定义和根据 ISO 7637‑2 协调用于脉冲测试的不同发生器所需的验证方法，以确保独立于发生器类型的测试结果的可比性和再现性。 它提供了基于 ISO 7637‑2 的当前定义的发电机验证结果，根据所使用的发电机类型显示了显着差异，并解释了差异的技术背景。 ISO 7637-5:2016 基于 ISO 7637-1、ISO 7637-2 和 ISO 7637-3。