verilogなら外部から強制的に値を入力できるから、シミュレーション上動作させることは可能じゃね?