ベリフィケーション・メソドロジ・マニュアル_SystemVerilogでLSI機能検証プロセスを徹底改善 (Design Wave Advanceシリーズ)