Studies on Multi-Cycle Paths of Sequential Circuits, 要旨

Studies on Multi-Cycle Paths of Sequential Circuits, 要旨

Kazuhiro Nakamura

生駒 : 奈良先端科学技術大学院大学, 2001.3

Thesis / Diss.

There are further volumes for this material.

Show other volumes

Volume No.

要旨
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Abstract

R004519

Details

Publication year

2001

Alternative title

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

Series title

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

Note

学位記番号: 博第187号

報告番号: 甲第187号

授与年月日: 2001/03/23

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

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

Subject

Multi-Cycle Paths

Timing Verification

Sequential Circuits

Maximum Delay Analysis

Propositional Satisfiability

Formal Verification