När Cadence nu lanserar den tredje generationen av Jasper Gold är det AI som står i centrum. Maskininlärning ska göra den formella verifieringen minst dubbelt så snabb samtidigt som minnesbehovet halveras.
När formell verifiering började användas krävdes det en doktorsexamen för att få ut något vettigt. Nästa generation krävde specialister men med den senaste generationen ska formell verifiering bli som ett av alla andra verktyg i konstruktörernas verktygslåda.
Verifiering används också allt oftare i signoff-fasen, inte bara för att hitta fel tidigare i designcykeln.
Cadence har adderat vad som kallas Smart Proof Technology till Jasper Gold. Den använder maskininlärning för att välja och parametrisera lösningen, och därmed snabbare kunna hitta eventuella fel i konstruktionen. Dessutom används maskininlärning för att optimera algoritmerna vid regressiv testning. Bägge kan göras lokalt eller i molnet.
Basen för Smart Proof Technology är över 500 konstruktioner som gjorts av kunder till Cadence. Med utgångspunkt från dessa väljs den bästa lösningen för den aktuella designen. Resultatet blir upp till fyra gånger snabbare verifiering av en ny konstruktion. Vid regressiv test blir förbättringarna upp till sex gånger.