UPFUnified Power Format (UPF) 用于定义power intent的标准，基于TCL语言编写。目前，最新版的UPF为UPF3.0 1801-2018。UPF文件主要包含4部分内容：power domain， power state， low power cell rule， PG connection。power domain: 对特定的RTL instance做电源管理

会在用户约束的基础上，做一些自动“修正”，以此来优化随机激励，提高随机多样性，加速覆盖率收敛，缩短 turn-around time。是vcs提供的用于优化覆盖率的feature；等约束了变量的随机概率，而。

UPFUnified Power Format (UPF) 用于定义power intent的标准，基于TCL语言编写。目前，最新版的UPF为UPF3.0 1801-2018。UPF文件主要包含4部分内容：power domain， power state， low power cell rule， PG connection。power domain: 对特定的RTL instance做电源管理

+ntb_solver_mode=1|21: 在第一次对每个类调用randomize()期间，求解器在分析约束方面花费了更多的预处理时间。对这个类的后续调用randomize()非常快。2: 求解器只做最少的预处理，并分析对randomize()的每次调用中的约束。默认是2。所以使用VCS时，如果对某一个class多次randomize, 适用+ntb_solver_mode=1+ntb_solv

文档与源码：User Guide: UVMDebugUserGuide.pdf VCApps_Protocol_Analyzer.pdf in $VERDI_HOME/doctestbench: 使用SNPS VIP的examples介绍：Verdi UVM Debug tool: 针对UVM 平台的debug工具，可以像打开RTL一样，层次化显示testbench，便于阅读。同时针对UVM特有的

“空间爆炸”大大增加了formal工具处理的复杂度，在有限的资源内，难以达到收敛。所以采用一些abstraction的手段，是十分有效且必要的。正确的abstraction处理，使用abstrct model代替real model，不会影响目标结果，同时加速证明。abstraction不等同于简单的reduction，如下示例：RTL中，当timer大于1000时，触发timeout。需要运行1

0. 引言在UVM支持的寄存器操作中，有get、update、mirror、write等等一些方法，在这里整理一下他们的用法。　　寄存器模型中的寄存器值应该与DUT保持同步，但是由于DUT的值是实时更新的，所以寄存器模型并不能实时知道这种更新，在寄存器模型中专门有个值来尽可能与DUT中寄存器的值保持一致，叫镜像值（mirrorred value）。寄存器模型中还有一个值叫期望值（desired v

开头懂得“数据结构与算法” 写出高效的代码，懂得“设计模式”写出高质量的代码。何为高质量的代码？下面这些词汇是我们常用的形容好代码的词汇：灵活性（flexibility）、可扩展性（extensibility）、可维护性（maintainability）、可读性（readability）、可理解性（understandability）、易修改性（changeability）、可复用（reusabi

clocking blockInput (or inout) signals are sampled at the designated clock event. If an input skew is specified, then the signal is sampled at skew time units before the clock event. Similarly, output

CDC check中，在使用blackbox或者abstarct model时需要做抽象模型处理。VC Spyglass使用一系列attribute命令，可读性更好。Spyglass使用abstract_port和assume_path。DescriptionNote: This document is not writing a SAM (Static Abstract Model). A SA