多领域验证：当时钟、电源和复位域发生冲突时

本文介绍多领域验证方法。多领域验证方法结合 UPF 规范，可以在寄存器传输级别并行验证电源、时钟和复位域。将这三个域一同进行表示和验证，可以更直观地了解其间的交互，从而在设计周期中尽早预判可能的域问题。采用多领域验证，现在可以完全放心地验证所有域间问题。