SystemVerilog 中的 Assert (我没看完)

分为两种：1. immediate assert 2. concurrent assert 自己去网页里看吧

答案来源：https://www.doulos.com/knowhow/systemverilog/systemverilog-tutorials/systemverilog-assertions-tutorial/