assert property ( !(Read && Write) );. asserts that the expression Read && Write is never true at any point during simulation. Properties are often built using ...
確定! 回上一頁