特定の状態遷移経路に注目した論理装置のシステム検証

書誌事項

タイトル別名
  • トクテイ ノ ジョウタイ センイ ケイロ ニ チュウモク シタ ロンリ ソウチ ノ システム ケンショウ
  • System verification of digital systems by tracking particular path of state transitions
  • VLSI設計技術
  • VLSI セッケイ ギジュツ

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ