Systemverilog 筆記- Assertions. create Boolean expression -> create sequence expression -> create property(concurrent) -> assert property ...
確定! 回上一頁