詳細情報

刊年

2001

別書名

順序回路のマルチサイクルパスに関する研究

シリーズ名

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2001年3月

注記

学位記番号: 博第187号

報告番号: 甲第187号

授与年月日: 2001/03/23

学位の種類: 博士(工学)

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

中村, 一博 (ナカムラ, カズヒロ)

件名

Multi-Cycle Paths

Timing Verification

Sequential Circuits

Maximum Delay Analysis

Propositional Satisfiability

Formal Verification