アサーション活用の手引き

リスト3　HDLを利用したアサーションの記述例　HDLで記述した変数を利用して、FIFOのチェックをアサーションとして記述している。