Enabling high quality design sign-off with Jasper structural and auto formal checks Author(s): Vishnu Haridas, Mansi Rastogi, Guruprasad Timmapur Download