US9715566B2 - Computer Implemented System and Method of Translation of Verification Commands of an Electronic Design