断熱磁束量子パラメトロン(AQFP)回路は、ジョセフソン接合を用いた超伝導論理回路であり、beyond-CMOSデバイスの中でも熱力学限界を挑む低電力性を有する技術として注目されています。AQFP回路は、 ACバイアス電流を用いてポテンシャルエネルギーを断熱的に変化させることによって、スイッチング動作に伴う消費エネルギーを劇的に減少させることができます。これまで、図１に示すように、AQFP回路の論理表現と整合性が高い多数決論理（出力が入力の多数決により決まる）を基に、回路システム化に不可欠な自動化設計ツール群の開発を、他の研究機関と協力して進めてきました。具体的には、多数決論理合成手法の確立と最適化、AQFP回路特徴（多相クロック駆動法によるゲート同期）による遅延素子挿入法とフェンアウト割り当て法の確立と最適化、機械学習を用いた自動配置配線ツールを開発しています。