Automating the formal verification sign-off flow of configurable digital IP’s Author(s): Giovanni Auditore and Giuseppe Falconeri Location: United States Year: 2019 Type: Paper Download