特集 2009年9月1日 アサーション活用の手引き（関連情報）：その基本から、記述ノウハウ、フォーマル解析への展開まで [矢ヶ部 常義（日本ケイデンス・デザイン・システムズ），EDN] 記事を見る 記事を見る
