Skip to main content
This page is displayed using automated translation. View in English instead?

Osigurajte potpunost verifikacije

Veloce Coverage and Assertion App

Da bi bile u toku sa industrijom koja se stalno razvija, kompanije moraju biti u stanju da brzo provere sposobnost dizajna da ispuni ciljeve specifikacija i usklađenosti. Aplikacija Veloce Coverage and Assertion ubrzava vreme otklanjanja grešaka osiguravajući zatvaranje pokrivenosti tokom testiranja.


Stupite u kontakt sa našim prodajnim timom 1-800-547-3000

Inženjeri za otklanjanje grešaka i integrisano kolo.

Zašto Veloce Coverage and Assertion App?

Aplikacija Veloce Coverage and Assertion pruža opsežnu analizu napora testiranja, a u kombinaciji sa tehnikama verifikacije vođenim metrikom, ističe rane probleme koji mogu postati kritični nedostaci u kasnijim fazama. Obezbeđivanjem potpunosti verifikacije dizajna, verovatnoća uspeha silicijuma u prvom prolazu drastično se povećava:

  • Kvantifikoviti podaci o testiranju koda i izvršenja funkcija
  • Višekratna pokrivenost i tvrdnje kroz različite faze verifikacije
  • Spojite i analizirajte zatvaranje pokrivenosti za perspektivu napora na višem nivou verifikacije
  • Otklanjanje grešaka zasnovano na tvrdnjama dostupno na platformama za verifikaciju uz pomoć hardvera

Ključni atributi

Pokrivenost koda i funkcionalna pokrivenost

Aplikacija Veloce Coverage and Assertion omogućava pokrivenost koda koja analizira izvršavanje koda i funkcionalnu pokrivenost i prati izvršavanje specifikacija koje je korisnik definisao. Postizanjem visokih nivoa u ovim metrikama može se obezbediti temeljit nivo testiranja.

Inženjersko kodiranje na laptopu.

Otklanjanje grešaka zasnovano na tvrdnjama

Za testne stolove koji nemaju ugrađene monitore ili kontrolere, tvrdnje se mogu koristiti sa aplikacijom Pokrivenost i potvrda koja prati broj puta kada se aktiviraju. Takođe, okidači zasnovani na tvrdnjama mogu se koristiti za omogućavanje ponašanja prilikom ispaljivanja, kao što je generisanje talasnog oblika ili izvršenje testa.

Otklanjanje grešaka u integrisanom krugu.

Jedinstveno zatvaranje pokrivenosti

Aplikacija Coverage and Assertion pruža mogućnost ne samo aktiviranja i deaktiviranja pokrivenosti, već i spajanja pokrivenosti. Ovo pruža mogućnost kombinovanja svih prethodno prikupljenih zajedno kako bi se imao holističniji pogled na verifikaciju. Pokrivenost prikupljena iz Kueste i Veloce takođe se može spojiti zajedno.

C ++ softver za analizu grešaka.

Siemens EDA interoperabilnost

Aplikacija Coverage and Assertion može se kombinovati sa drugim Siemens EDA alatima kako bi se osiguralo potpuno testiranje specifičnih aspekata dizajna. Na primer, aplikacija se može kombinovati sa aplikacijom Veloce Pover za kreiranje ciljanih radnih opterećenja za testiranje napajanja sistema i podsistema.

Oprema za analizator talasnih oblika.

Povezani resursi