SystemVerilogアサーション・ハンドブック丸善2006/010Ben CohenAjeetha KumariSrinivasan Venkataramanan三橋 明城男茂木 幸夫明石 貴昭朽木 順一小笠原 敦読んだ読みたいamazonで見る
