3 citations · 3 across the 1 of their papers we have counts for
1 paper
Alvin D. Wong, Kevin Su, Hang Sun +3
In this paper, we propose a semi-formal verification framework for single-flux quantum (SFQ) circuits called VeriSFQ, using the Universal Verification Methodology (UVM) standard. T…