アサーション活用の手引き
表2 フォーマル解析の適用が容易な個所の例
記事に戻る
矢ヶ部 常義(日本ケイデンス・デザイン・システムズ),EDN