Design-Intent Coverage - A New Paradigm for Formal Property Verification.
Prasenjit BasuSayantan DasAnsuman BanerjeePallab DasguptaP. P. ChakrabartiChunduri Rama MohanLimor FixRoy ArmoniPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)