モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法

• 垣内 洋介

• 北嶋 暁

• 浜口 清治

Bibliographic Information

Other Title

• モニタベース ケイシキ ケンショウ ノ タメ ノ ニュウリョク セイヤク オ コウリョ シタ モニタ カイロ セイセイ シュホウ

Journal

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 105 (354), 73-78, 2005-10-21

  東京 : 電子情報通信学会

Keywords

• 形式検証
• モニタベース検証
• AMBA
• モニタ回路生成
• Formal Verification
• Monitor-based Verification
• Monitor Circuit Generation

Details

• CRID: 1520009409214536064
• NII Article ID: 110003498355
• NII Article ID: 10016768601
• NII Article ID: 110003500121
• NII Book ID: AA1123312X
• ISSN: 09135685
• NDL BIB ID: 7704907
• NDL BIB ID: 7703969
• NDL BIB ID: 7704631
• Web Site: http://id.ndl.go.jp/bib/7704907
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7704907
• Web Site: http://id.ndl.go.jp/bib/7703969
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7703969
• Web Site: http://id.ndl.go.jp/bib/7704631
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7704631
• Text Lang: ja
• NDL Source Classification:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• Data Source:
  • NDL
  • CiNii Articles