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