一覧に戻る

タイトル
  • en Studies on Multi-Cycle Paths of Sequential Circuits
その他のタイトル
  • ja 順序回路のマルチサイクルパスに関する研究
  • ja-Kana ジュンジョ カイロ ノ マルチ サイクル パス ニ カンスル ケンキュウ
作成者
    • en Nakamura, Kazuhiro ja-Kana ナカムラ, カズヒロ ja 中村, 一博
アクセス権 open access
主題
  • Other en Multi-Cycle Paths
  • Other en Timing Verification
  • Other en Sequential Circuits
  • Other en Maximum Delay Analysis
  • Other en Propositional Satisfiability
  • Other en Formal Verification
出版者 en Nara Institute of Science and Technology
日付
    Issued2001-03-23
言語
  • eng
資源タイプ doctoral thesis
出版タイプ VoR
資源識別子 DOI https://doi.org/10.11501/3185439 , HDL http://hdl.handle.net/10061/3016 , URI https://naist.repo.nii.ac.jp/records/10423
ID
  • JaLC 10.11501/3185439
学位情報
  • 学位授与番号 甲第187号
  • 学位授与機関
    • 識別子名 kakenhi
    • 識別子 14603
    • 機関名称 ja 奈良先端科学技術大学院大学
  • 学位授与年月日 2001-03-23
  • 学位名 ja 博士(工学)
ファイル
    • fulltext fulltext
    • 302.8 kB (application/pdf)
      • Available2023-03-06
    • abstract abstract
    • 188.4 kB (application/pdf)
      • Available2023-03-06
コンテンツ更新日時 2023-09-28