著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Bergeron, Janick and Cerny, Eduard and Hunter, Alan and Nightingale, Andrew and 半導体理工学研究センター and ARM and Synopsys",ベリフィケーション・メソドロジ・マニュアル : SystemVerilogでLSI機能検証プロセスを徹底改善,,CQ出版,2006,Design Wave Advance,,4789836150,,https://cir.nii.ac.jp/crid/1130000795438063232