|
发表于 2021-11-10 09:17:38
|
显示全部楼层
本帖最后由 ppeezz 于 2021-11-10 09:19 编辑
问题在于:上面的断言是在最近的CLKR的上升沿断言。怎样才能在!RE_n为1以后的读时钟的上升沿断言??
楼主是想说RTL的行为是RE_n拉低之后一个cycle DQ才出数据吗? 如果是这样,可以试试这样写:
@(posedge CLKW) (!WE_n,tmp1=DQ) |=>@(posedge CLKR) ##[1 : $] !RE_n ##1 (1,tmp2=DQ,check_DQ(tmp1,tmp2); |
|