アサーション活用の手引き
図3 フォーマル解析での状態空間の探索
記事に戻る
矢ヶ部 常義（日本ケイデンス・デザイン・システムズ），EDN
