Abstract: The aim of this paper is to analyze the coverage with formal verification for the debug fabric in the SOC in such a way that it will left-shift the validation process to enhance validation ...