系统-verilog-assertions 问答列表

SVA中的门级时序检查

作者:yildizabdullah 提问时间:4/6/2022

我需要在时钟边沿出现一定时间后检查信号值。例如,我想检查信号 b 是否在正边时钟发生后置位至高 1ps。 SVA 是否为此提供了语法?...


共1条 当前第1页