デバイスの候補の一つである単一磁束量子(SFQ)デバイスを用いた論理回路は、パルスの有無で論理値1,0を表現し、CMOS半導体デバイスより高速かつ低消費電力で動作する。現在のSFQ回路の設計手順では人手による作業が多く、今後実現可能となる大規模SFQ回路の正確かつ迅速な設計のためには、計算機による設計支援(CAD)ツールが必要不可欠となる。本研究では、回路設計の各段階における問題の定式化、アルゴリズムの設計、および、CADツールを開発を進めている。SFQ回路では、全ての論理ゲートにクロックを供給する必要があり、半導体回路と比べてタイミング制約が厳しくなる。現在は、タイミング制約を満たす配置・配線の手法の検討を行なっている。産業界への展開例・適用分野SFQ回路は、数百GHzのクロック周波数で動作し、消費電力は半導体回路の1/1000程度である。