JavaScript is currently disabled.Please enable it for a better experience of Jumi.
 Annonsera Utgivningsplan Månadsmagasinet Prenumerera Konsultguide Om oss  About / Advertise
måndag 27 maj 2019 VECKA 22

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.

MER LÄSNING:
 
Branschens egen tidning
För dig i branschen kostar det inget att prenumerera på vårt snygga pappers­magasin.

Klicka här!
SENASTE KOMMENTARER
Kommentarer via Disqus

Vi gör Elektroniktidningen

Anne-Charlotte Sparrvik

Anne-Charlotte
Sparrvik

+46(0)734-171099 ac@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Anna Wennberg

Anna
Wennberg
+46(0)734-171311 anna@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)