yoy116

摘要： 断言：用来与设计功能和时序作比较的属性描述。 立即断言： assert (expression) [pass_statement] [else fail_statement] always @(posedge clk) if (state == REQ) assert(reg1 || reg2) e 阅读全文