笑着刻印在那一张泛黄

摘要： # 常用断言 ``` assert property (@(posedge clk) disable iff(~rstn) (a -> b)); assert property (@(posedge clk) disable iff(~rstn) (a b)); assert property (@ 阅读全文

摘要： https://blog.csdn.net/qq_27016651/article/details/83096126 阅读全文