High-Level Verification Solutions

Fornendo prodotti e metodologie all'avanguardia per la progettazione di alto livello, Siemens offre soluzioni in più punti del processo di progettazione. Controllo della progettazione, copertura del codice e funzionale e verifica formale per il controllo dell'equivalenza in C++ e SystemC.

Prossimi eventi HLS e HLV Libreria di risorse HLS e HLV

Catapult High-Level Verification Solutions

Accelera il flusso di verifica di alto livello (HLV) con metodi noti e affidabili utilizzando la piattaforma Catapult HLV. Riduci i tempi e i costi complessivi della verifica SoC fino all'80% sfruttando il controllo di progettazione di alto livello, la copertura del codice/funzionale e i metodi statici e formali.

Catapult Coverage

Copertura del codice compatibile con HLS che include il supporto per statement, branch, condition, expression (FEC) e la copertura dell'accesso agli array più una copertura funzionale ispirata a SystemVerilog con supporto per covergroup, coverpoint, bin e cross.

Catapult Formal Verification Tools

Trova formalmente errori, ambiguità e problemi di progettazione dei problemi o errori di vincolo dell'utente nelle prime fasi del processo HLS. Anche con differenze di tempistica e interfacce, Catapult Formal consente la verifica e la chiusura della copertura.

SLEC System

Verifica la correttezza di RTL rispetto ai tuoi modelli di alto livello utilizzando SLEC. Ciò dimostra che le specifiche e l'implementazione sono identiche nonostante le differenze di linguaggio, tempistica o astrazione.

Verifica di alto livello

Questa HL-SystemC

La verifica del progetto di alto livello con l'espansione Questa HL-SYC aiuta a eliminare i problemi prima della sintesi avviando la verifica nelle prime fasi del flusso.