Les commandes d'IA de VeriSilicon propulsent une croissance de 130% au 4e trimestre