You might be interested is this video, which talks about the EDA issues for RSFQ logic: https://www.youtube.com/watch?v=3O6GpFCIxv0 https://www.youtube.com/wat

You might be interested is this video, which talks about the EDA issues for RSFQ logic: https://www.youtube.com/watch?v=3O6GpFCIxv0 https://www.youtube.com/watch?v=3O6GpFCIxv0 ...and... https://en.wikipedia.org/wiki/Josephson_junction_count https://en.wikipedia.org/wiki/Josephson_junction_count