Tūlītējs izaicinājums ir “novērojamība”, ja jums ir aizdomas, ka vainīgais ir noteikts klasteris vai IP. Spēja iestatīt īpašus sākotnējos testa apstākļus, zondes un ierobežotus nejaušus stimulus, lai sasniegtu DUT iekšējās zonas, ir reāls izaicinājums, ņemot vērā, ka SoC ir pilnībā realizētā stāvoklī.
Sazinieties ar mūsu pārdošanas komandu 1-800-547-3000
Kad apgalvojumi, kas apraksta vēlamo uzvedību, ir sintezēti DUT, kas iebūvēta aparatūras verifikācijas platformā, lietotne Questa Post-Silicon Debug izmanto formāli balstīto Questa Property Checking lietotni (PropCheck), lai meklētu novērotās kļūmes pamatcēloni.
Skatiet visus pieejamos oficiālās verifikācijas videoierakstus vietnē Verifikācijas akadēmija.
Mēs esam gatavi, lai atbildētu uz jūsu jautājumiem.
Sazinieties ar mūsu pārdošanas komandu 1-800-547-3000
Verifikācijas akadēmija nodrošina prasmes, kas nepieciešamas, lai nobriestu organizācijas funkcionālās verifikācijas procesa iespējas, nodrošinot metodisku tiltu starp augsta līmeņa vērtību piedāvājumiem un zema līmeņa detaļām.
Ieskats un atjauninājumi par jēdzieniem, vērtībām, standartiem, metodoloģijām un piemēriem, lai palīdzētu saprast, ko uzlabotas funkcionālās verifikācijas tehnoloģijas var darīt un kā tās visefektīvāk piemērot.
Publikācijā Verification Horizons ir sniegti jēdzieni, vērtības, metodikas un piemēri, lai palīdzētu izprast, ko uzlabotas funkcionālās verifikācijas tehnoloģijas var darīt un kā tās visefektīvāk pielietot.
