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

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

最新文章