Il costante incremento nella integrazione di hardware e software dei moderni dispositivi rende sempre più complesse le esigenze di verifica: per soddisfare questa necessità, Freescale e Synopsys hanno deciso di ampliare la loro collaborazione. L'accordo si pone l'obiettivo di mettere a fuoco, oltre a prestazioni, efficienza e metodologie della verifica funzionale, la gestione dei costi in continua crescita della verifica stessa che, rappresentando ormai il 75% del costo totale dello sviluppo dei prodotti, ha una incidenza che supera quella di ogni altra voce di spesa. Questa collaborazione perfeziona il rapporto già attivo da diversi anni, nel quale Freescale, uno dei primi utenti di SystemVerilog, ha avuto un ruolo di primo piano nel perfezionamento di questa strategia.
