SemiMapサイト内検索

早稲田大学福岡県・九州

木村研究室

大学院情報生産システム研究科

教授 木村 晋二

研究内容

  • システムLSIの高位設計と検証
  • 形式的設計検証・タイミング検証
  • 近似計算回路
  • 再構成可能ハードウェア(FPGA)
  • 論理関数処理(BDD・SAT)
  • 量子アニーリング

学会論文4本 · 2024–2026年

  • 2026年2本
  • 2025年1本
  • 2024年1本