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。

UVM Users Guide 1.2