パイプライン動作を考慮した単一磁束量子回路のための論理設計検証手法(ディジタル,一般) | AMiner