Bluespec SystemVerilog ： メソッドの定義(ActionとActionValue)

Verification Engineerの戯言

ActionメソッドとActionValueメソッドの定義は次のようになります。

    method Action ( type ) id ( methodFormals ) [ implicitCond ; ]
            { actionValueStmt }
    endmethod [ : id ]

    method ActionValue #( type ) id ( methodFormals ) [ implicitCond ; ]
            { actionValueStmt }
    endmethod [ : id ]

リファレンス・ガイドのPage.67によると、

    typedef ActionValue#(void) Action;

なので、Actionメソッドは戻り値がvoidのActionValueメソッドなだけです。

検証、Verification、Bluespec SystemVerilog