Ärsykevapaa vahvistus

Täysin automaattinen muodollinen ongelmanetsintäsovellus, joka löytää syvästi piilotettuja ongelmia yleisten RTL-koodausvirheiden vuoksi, Questa Inspect mahdollistaa monenlaisten ongelmien poistamisen ilman testipenkkiä.

Questa Check Connect sovellus on täysin automatisoitu ratkaisu staattisen ja dynaamisen yhteyden tyhjentävään tarkistamiseen ilman, että vaaditaan muodollisten tai ominaisuusmäärittelykielten tuntemusta.

Questa Increase Coverage on automaattinen muodollinen ratkaisu koodin kattavuuden sulkemiseen nopeammin, joka käsittelee kiistämättömän todentamisen tosiasian: osa paljastetusta koodista on aina jäljellä.

Questa Formal VIP AMBA- ja OnChip-kirjastot parantavat laatua ja vähentävät aikatauluja rakentamalla protokolla- ja metodologiaosaamisen uudelleenkäytettävien väitteiden paketeiksi, jotka tukevat suosittuja alan standardirajapintoja.

Questa Verify Property havaitsee tyhjentävästi mahdolliset suunnitteluvirheet tarvitsematta erityistä ärsykettä ongelman havaitsemiseksi. Näin varmistetaan, että tarkistettu malli on ongelmaton kaikissa oikeudellisissa syöttöskenaarioissa.

Questa Check Register sovellus automatisoi valvonta- ja tilarekisterin käyttäytymisen kattavan tarkistuksen CSV- tai IP-XACT-rekisterimäärityksiä vastaan.

Questa Verify Secure sovellus on täysin automatisoitu ratkaisu, jolla varmistetaan tyhjentävästi, että vain määrittämäsi polut pääsevät tietoturva- tai turvallisuuskriittisiin tallennuselementteihin.

Questa Equivalent RTL vertaa automaattisesti spesifikaation RTL: n ja toteutuksen RTL-koodilohkoja tyhjentävän muodollisen analyysin avulla. Muodollisten tai ominaisuusmäärittelykielten tuntemusta ei vaadita.

Questa Check X on automatisoitu sovellus, joka poistaa tyhjentävästi X-ongelmat RTL-tasolla ilman testipenkkiä.

Siemens Questa Equivalent FPGA ratkaisu varmistaa, että FPGA-toteutusvirrat, kuten synteesi ja paikan ja reitin optimoinnit, eivät aiheuta toiminnallisia virheitä.

Questa GapFree optimoi digitaalisten mallien laadun todistamalla kaikkien syötteiden toiminnallisuuden, mikä johtaa ennennäkemättömään alhaiseen ongelmapoikkeuteen.

Korkean tason suunnittelun todentaminen Questa HL-SYC -laajennuksella auttaa poistamaan ongelmat ennen synteesiä aloittamalla todentamisen aikaisemmin virtauksen aikana.

Questa Verify Trust käyttää automaattista analyysiä tietoturvaan liittyvien haavoittuvuusongelmien havaitsemiseksi ja raportoimiseksi.

Varmistaa RISC-V-mallien ISA:n ja toiminnallisten edellytysten mukaisuuden ja nopeuttaa todentamista poistamalla testipenkin luomisen tarpeen.

Questa FPU sovellus minimoi merkittävästi todentamisen työmäärän ja varmistaa liukulukutoteutusten tarkan kohdistamisen haluttuihin tuloksiin.

Questa Analyze Fault sovellus on Questa formal -tekniikkaan perustuva ratkaisu, joka analysoi viat injektoimalla ne ja tarkistaa virallisesti niiden tulokset laitteiston turvallisuuden ja turvallisuuden suhteen.

Analyze Architecture on uraauurtava ratkaisu, joka tarjoaa käyttäjälle mahdollisuuden tarkistaa suuret laitteistojärjestelmät, noudattavatko ne määritettyä arkkitehtuuria.

Questa Post Silicon Debug -sovellus hyödyntää muodollista analyysiä ja ominaisuussynteesiä juurtaakseen nopeasti syy-ongelmat logiikassa syvällä SoC: ssä ja todistamaan, että korjaukset eivät riko mitään muuta.