Automating the formal verification sign-off flow of configurable digital IP’s Author(s): Giovanni Auditore and Giuseppe Falconeri Download
