ベリフィケーション・メソドロジ・マニュアル / Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale 著 ; STARC, ARM, Synopsys 監訳