JavaScript is currently disabled.Please enable it for a better experience of Jumi. Extrem verifiering 100 gånger snabbare

När riktigt stora konstruktioner ska verifieras krävs riktigt kraftfulla verktyg.Amerikanska Verisity har byggt in funktioner från nyligen förvärvade konkurrenten Axis i sin senaste skapelse, och lovar 20-100 gånger ökad prestanda.
Verifieringsspecialisten Verisity hävdar att världen är mogen för "tredje generationens verifiering", där konstruktioner inte bara simuleras (första generationen) eller där simuleringen snabbas upp med acceleratorer och emulatorer (andra generationen). Ska de miljontals kombinationer av hårdvara och programvara som ryms i dagens konstruktioner kunna verifieras på rätt sätt krävs, enligt företaget, något nytt.

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

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Rainer Raitasuo

Rainer
Raitasuo

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

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

Jan Tångring

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