Automatic Test Pattern Generation for timing verification and delay testing of RSFQ circuits | IEEE Conference Publication | IEEE Xplore