G-QED for Pre-Silicon Verification

Author(s):
Saranyu Chattopadhyay, Keerthi Devarajegowda, Mo Fadiheh