沼 昌宏Numa, Masahiro
- 専門分野
- VLSI CAD、計算機アーキテクチャ
略歴
学歴・取得学位
東京大学 工学部 精密機械工学科 卒業（工学士）
東京大学大学院 工学系研究科 精密機械工学専攻 修士課程 修了（工学修士）
東京大学大学院 工学系研究科 工学博士
主な職歴
東京大学 工学部 助手
東京大学 工学部 講師
神戸大学大学院 自然科学研究科 講師
神戸大学 工学部 助教授
神戸大学 工学部 教授
神戸大学大学院 工学研究科 教授
大阪学院大学 情報学部 教授
所属学会
情報処理学会
電子情報通信学会
IEEE
研究課題
論理診断技術とその応用
FPGAのエッジAIへの応用
主な研究業績（著書・論文等）
| MOS LSIを対象とするシミュレーションエンジン（論文） | 情報処理学会論文誌, vol. 30, no. 3, pp. 375-386 | 1989.03 |
|---|---|---|
| 論理設計誤りの追跡と修正の自動化（論文） | 情報処理学会論文誌, vol. 32, no. 4, pp. 523-532 | 1991.04 |
| ディジタルCMOSの回路設計（訳書） | コロナ社 | 1991.10 |
| A logic diagnosis technique for multiple output circuit（論文） | IEICE Trans. Fundamentals, vol. E75-A, no. 10, pp. 1263-1271 | 1992.10 |
| Reconfigurable Machine and its application to logic simulation（論文） | IEICE Trans. Fundamentals, vol. E76-A, no. 10, pp. 1705-1712 | 1993.10 |
| 汎用エンジンRM-IIの構成（論文） | 情報処理学会論文誌, vol. 35, no. 4, pp. 636-645 | 1994.04 |
| Pattern generation for locating logic design errors（論文） | IEICE Trans. Fundamentals, vol. E77-A, no. 5, pp. 881-893 | 1994.05 |
| 最新VLSIの開発設計とCAD（著書） | ミマツデータシステム 第一編 第2章 新しい LSI 設計方式 － FPGA（pp. 85-102），第三編 第7章 FPGA で実現したプロセッサの応用（pp. 387-401）を担当 |
1994.06 |
| 汎用エンジンと論理診断への応用（論文） | 情報処理学会論文誌, vol. 35, no. 11, pp. 2488-2499 | 1994.11 |
| 汎用エンジンRM-Vとその応用（論文） | 電気学会論文誌C, vol. 120-C, no. 11, pp. 1629-1636 | 2000.11 |
| 誤り追跡入力と論理関数処理を併用したFPGA対応論理診断手法（論文） | 電子情報通信学会論文誌D-I, vol. J84-D-I, no. 10, pp. 1474-1483 | 2001.10 |
| 真理値シミュレーションに基づくLUT論理診断手法（論文） | 情報処理学会論文誌, vol. 43, no. 5, pp. 1252-1259 | 2002.05 |
| CMOS／パス・トランジスタ混在論理の合成とレイアウト（論文） | 情報処理学会論文誌, vol. 43, no. 5, pp. 1357-1360 | 2002.05 |
| 信号線誤りに対応した LUT 論理診断手法（論文） | 情報処理学会論文誌, vol. 44, no. 5, pp. 1216-1224 | 2003.05 |
| Application of error diagnosis technique to incremental synthesis（論文） | IEICE Trans. Fundamentals, vol. E86-A, no. 12, pp. 3214-3217 | 2003.12 |
| 先見型動的ボディ制御によるSOI LSIの高速化手法（論文） | 情報処理学会論文誌, vol. 45, no. 5, pp. 1244-1250 | 2004.05 |
| Boosted voltage scheme with active body-biasing control on PD-SOI for ultra low voltage operation（論文） | IEICE Trans. Electronics, vol. E90-C, no. 4, pp. 666-674 | 2007.04 |
| An error diagnosis technique based on location sets to rectify subcircuits（論文） | IEICE Trans. Fundamentals, vol. E92-A, no. 12, pp. 3136-3142 | 2009.12 |
| An error diagnosis technique based on clustering of elements（論文） | IEICE Trans. Fundamentals, vol. E93-A, no. 12, pp. 2490-2496 | 2010.12 |
| Energy-efficient AES SubBytes transformation circuit using asynchronous circuits for ultra-low voltage operation（論文） | IEICE Electronics Express, vol. 12, no. 4, pages 20141157 | 2015.02 |
| An energy-efficient 24T flip-flop consisting of standard CMOS gates for ultra-low power digital VLSIs（論文） | IEICE Trans. Fundamentals, vol. E98-A, no. 12, pp. 2600-2606 | 2015.12 |
| An error diagnosis technique using ZDD to extract error location sets（国際会議講演予稿論文） | The 22nd Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2019), pp.262-267 | 2019.10 |
| An error diagnosis technique based on location variable simulation employing implicit representation of error location sets（国際会議講演予稿論文） | The 24th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2022), pp. 127-132 | 2022.10 |
| Fully-integrated switched-capacitor voltage boost converter with digital maximum power point tracking for low-voltage energy harvesting（論文） | Japanese Journal of Applied Physics, vol. 62, SC1071 | 2023.02 |
| Technology remapping approach using multi-gate reconfigurable cells for post-mask functional ECO（論文） | IEICE Trans. Fundamentals, vol. E107-A, no. 3, pp. 592-599 |
2024.03 |
| On ratio of embedded RECON spare cell types for technology remapping（国際会議講演予稿論文） | The 26th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2025), pp. 85-90 | 2025.10 |
| An error diagnosis technique applicable to single line errors based on location variable simulation（国際会議講演予稿論文） | The 26th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2025), pp. 133-138 | 2025.10 |
主な社会的活動等
情報処理学会設計自動化研究連絡会委員（1991年4月から1995年12月まで）
情報処理学会システムLSI設計技術研究会 連絡委員，幹事（2000年4月から2007年3月まで，2011年4月から2015年3月まで）
情報処理学会論文誌査読委員（1991年6月から現在に至る）
プリント回路学会技術研究委員会委員（1992年4月から1994年3月まで）
国際会議 The Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI)
- Technical Program Committee (TPC) メンバ（1994年9月から2001年10月まで）
- Registration Chair（1997年6月から2001年10月まで）
- Publicity Chair（2001年10月から2004年10月まで）
- TPC Chair（2010年10月から2012年3月まで）
- General Chair（2012年3月から2013年10月まで）
- Steering Committee メンバ（2013年10月から現在に至る）
電子情報通信学会英文論文誌 (A) 特集号等 編集委員（1998年1月から2003年5月まで）
IEEE International Symposium on Circuits and Systems 2005（ISCAS 2005）Audio and Visual Chair（2001年10月から2005年5月まで）
電子情報通信学会関西支部 評議員，庶務幹事（2002年4月から2007年3月まで）
講義など協力可能なテーマ
VLSI設計のCAD技術
ハードウェア記述言語