asserts that the expression Read && Write is never true at any point during simulation. Properties are built using sequences. For example, assert property (@( ...
確定! 回上一頁