About / Advertise
Trots tiotalet år på nacken har funktionsbaserad verifiering – assertion-based verification – ännu inte fått något brett genomslag. Ett skäl är att verktygen för att få fram de nödvändiga listorna över egenskaper (properties) och funktionspåståenden (assertions) inte upplevts som tillräckligt bra och lättanvända, något som Jasper nu vill ändra på med lanseringen av Activeprop.
Activeprob tar RTL-kod som indata, tillsammans med simuleringsresultat och vågformer från testinstrument. Utdata blir egenskapslistor skrivna i System Verilog, jämte listor över påståenden och information över hur väl dessa listor täcker verifieringen av konstruktionen. Därtill genereras en rapport på engelska, som i klarspråk talar om hur väl olika delar av konstruktionen verifierats.
Verktyget håller rätt på signaler genom olika block i konstruktionens hierarki, och klarar därtill att analysera över 5-10 klockcykler, för att kunna spåra problem med latenstider. Om någon del av konstruktionen visar sig inte täckas tillräckligt väl av alstrade verifieringsdata kan listorna förbättras genom ytterligare simulering. Utöver de nämnda funktionerna kollar verktyget också standardfel som syntaxfel, oanvända deklarationer, aritmetiska fel, busskonflikter, klockdomänsproblem, onåbara tillstånd, onåbara block och att alla register går att återställa.
Utdata kan antingen användas för vidare verifiering med valfritt System Verilog-verktyg, eller tillsammans med Jaspers egna verktyg för formell verifiering. Med verktyget Jasper Gold kan egenskapslistorna bevisas formellt och matematiskt, och där kan även resultatet visas upp som vågformer. Med Jasper Activedesign kan utdata från Activeprop ge en utförligare beskrivning av konstruktionens beteende, och dessa beteenden kan sparas tillsammans med delar av konstruktionen i en databas för enklare verifiering vid återanvändning av dessa delar i nya konstruktioner.
Jasper har ett svenskt kontor i Göteborg.
