December 11, 2017

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS