$fatal( )可以单独使用,也可以assert...else $fatal( )
if(A>1)
$fatal("%s assertion fails!!!", A);
assert(A>40000) else $fatal("%s exceed 40000",A);
另一种断言用法
a1: assert (grant==2'b01)
else $fatal("grant not asserted");
$fatal( )可以单独使用,也可以assert...else $fatal( )
if(A>1)
$fatal("%s assertion fails!!!", A);
assert(A>40000) else $fatal("%s exceed 40000",A);
另一种断言用法
a1: assert (grant==2'b01)
else $fatal("grant not asserted");