qCG: A Low-Power Multi-Domain SFQ Logic Design and Verification Framework | IEEE Conference Publication | IEEE Xplore