Design Verification con Simulink

Questo corso di un giorno illustra l'utilizzo di Simulink Design Verifier™ per garantire che un progetto non contenga errori, sia totalmente collaudato e soddisfi i requisiti necessari. Elenco degli argomenti:

Rilevamento e dubug di errori comuni di progettazione
Raccolta della coverage del modello
Completamento della coverage mancante mediante la generazione di test automatici
Prova delle proprietà del modello per la verifica basata sui requisiti
Gestione della complessità del modello per analisi efficiente

Scopri maggiori dettagli sui nostri corsi

Prerequisiti

Fondamenti MATLAB e Fondamenti Simulink

Giorno 1
Introduzione al workflow per la verifica	Obiettivo: Familiarizzare con il workflow per la verifica, imparare a preparare un modello ed eseguire una semplice analisi con Simulink Design Verifier. Introduzione ai metodi di verifica formale Esplorazione del workflow di Simulink Design Verifier Preparazione dei modelli per garantirne la compatibilità Configurazione delle opzioni di analisi Generazione dei risultati
Rilevamento di errori di progettazione	Obiettivo: Imparare ad utilizzare il rilevamento degli errori di progettazione per verificare un modello. Introduzione ai tipi di errori di progettazione Rilevamento di errori di progettazione Interpretazione dei risultati e reporting Correzione degli errori di progettazione Utilizzo di tabelle di parametri
Generazione automatica di test	Obiettivo: Analizzare i tipi di coverage e imparare ad utilizzare la generazione automatica di test per completare la coverage mancante. Introduzione ai tipi di coverage Misura della coverage di un modello Aumento della coverage con la generazione automatica di test Interpretazione dei risultati e reporting Applicazione di condizioni e obiettivi personalizzati
Verifica delle proprietà	Obiettivo: Formalizzare i requisiti in proprietà e imparare ad utilizzare la verifica delle proprietà per assicurarsi che il progetto soddisfi i requisiti. Formalizzazione dei requisiti Verifica delle proprietà Debug di proprietà falsificate Utilizzo di operatori temporali
Gestione della complessità di modelli	Obiettivo: Identificare le origini delle complessità dii modelli e conoscere le tecniche per migliorare le prestazioni di analisi. Identificazione delle origini di complessità di modelli Implementazione delle sostituzioni di blocchi Gestione di problemi legati a non linearità Gestione della complessità delle tabelle lookup Utilizzo di contatori e timer

Svolgimento garantito

Registrandoti a uno di questi corsi, avrai la certezza che non sarà cancellato o riprogrammato per nessuna ragione.

Calendario Corsi

Risultati 1 - 10 di 10

Date	Località	Lingua	Prezzo
10 Giu 2022	Virtuale 9:00 am - 5:00 pm Ora solare Cina	Cinese	USD 750
19 Lug 2022	Virtuale 9:00 am - 5:00 pm Ora legale Stati Uniti Pacifico	Inglese	USD 750
21 Lug 2022	Virtuale 9:00 am - 5:00 pm Ora legale Europa centrale	Inglese	USD 750
03 Ago 2022	Virtuale 9:00 am - 5:00 pm Ora solare Cina	Cinese	USD 750
05 Ago 2022	Virtuale 9:00 am - 5:00 pm Ora solare Giappone	Giapponese	USD 750
12 Ott 2022	Virtuale 9:00 am - 5:00 pm Ora legale Stati Uniti orientali	Inglese	USD 750
21 Ott 2022	Virtuale 9:00 am - 5:00 pm Ora solare Corea	Coreano	USD 750
16 Nov 2022	Virtuale 9:00 am - 5:00 pm Ora solare Cina	Cinese	USD 750
18 Nov 2022	Virtuale 9:00 am - 5:00 pm Ora solare Giappone	Giapponese	USD 750
09 Dic 2022	Virtuale 9:00 am - 5:00 pm Ora solare India	Inglese	USD 750

Risultati 1 - 10 di 10

Il prezzo si riferisce all'acquisto e uso in Stati Uniti. Per i prezzi relativi ad altre regioni contatta l’ufficio commerciale. Il prezzo del prodotto non include le tasse di vendita e d'uso, le accise, l'IVA e altre. Tutte le tasse, le imposte e le spese pertinenti, così come i tributi e i dazi statali applicabili a questo acquisto, saranno calcolati sull'ordine finale. Per ulteriori informazioni, fai riferimento alle Politiche per la formazione.