You are reporting
Logic Equivalence Check (LEC) Engineer