bygger på Specman
Spextreme är namnet på firmans senaste bidrag till denna tredje generation.
I Spextreme ingår förstås flaggskeppet Specman Elite, ett program man hittills sålt drygt 15 000 licenser för, samt simulatorkärnan Xsim, som ingick i förvärvet av branschkollegan Axis i februari. Dessa två element klarar verifiering på block- och kretsnivå.
Specman automatiserar såväl testbänksalstrandet som verifieringsprocessen, medan Xsim är en händelsebaserad simulator som klarar flera språk.
Hård och mjuk acceleration
För högre nivåer ingår dessutom acceleratorprogrammet Ecelerator samt hårdvaruacceleratorn Xtreme, likaså från Axis. Det faktum att Axis produkter är händelsebaserade har underlättat integrationen avsevärt, hävdar Verisity.
En viktig poäng med den integrerade lösningen är att verifieringsmiljön, testbänkarna och den händelsestyrda tekniken är desamma genom hela verifieringen. Precis som tidigare finns stöd för automatisk testbänksgenerering.
Jämfört med tidigare verktyg hävdar Verisity att nyheterna ger mellan 20 och 80 gånger snabbare verifiering, i vissa fall upp till 100 gånger snabbare.
Adam Edström