このアイテムのアクセス数: 345
このアイテムのファイル:
| ファイル | 記述 | サイズ | フォーマット | |
|---|---|---|---|---|
| djohr00097.pdf | Dissertation_全文 | 8.09 MB | Adobe PDF | 見る/開く |
| yjohr00097.pdf | Abstract_要旨 | 272.93 kB | Adobe PDF | 見る/開く |
| タイトル: | Design and Verification of Single-Flux-Quantum Digital Circuits Using Clocked and Clockless Gates |
| その他のタイトル: | クロックトゲートとクロックレスゲートを用いた単一磁束量子回路の設計と検証 |
| 著者: | Kawaguchi, Takahiro |
| 著者名の別形: | 川口, 隆広 |
| キーワード: | Single-Flux-Quantum Circuits Adder Clocking Static Timing Analysis Formal Verification |
| 発行日: | 23-Jan-2023 |
| 出版者: | Kyoto University |
| 学位授与大学: | 京都大学 |
| 学位の種類: | 新制・論文博士 |
| 取得分野: | 博士(情報学) |
| 報告番号: | 乙第13531号 |
| 学位記番号: | 論情博第97号 |
| metadata.dc.date.granted: | 2023-01-23 |
| 請求記号: | 新制||情||137(附属図書館) |
| 研究科・専攻: | 京都大学大学院情報学研究科通信情報システム専攻 |
| 論文調査委員: | (主査)教授 髙木 直史, 教授 佐藤 高史, 教授 橋本 昌宜 |
| 学位授与の要件: | 学位規則第4条第2項該当 |
| DOI: | 10.14989/doctor.r13531 |
| URI: | http://hdl.handle.net/2433/279095 |
| 出現コレクション: | 140 博士(情報学) |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。