Sistema su un chip dei Circuiti Integrati & Chips, il banco di Prova per la verifica Funzionale di Elettronica - taglio di capelli font

ARM System-on-Chip con Architettura ARM architettura di Sistema su un chip di Debug - DMC

Breker Sistemi di Verifica Mento di verifica Funzionale del Collo Fronte - altri

Validação Sistema di Organizzazione delle specifiche Funzionali di Verifica e di convalida - progettazione gráfico

Hazard and operability studio del Processo di gestione della sicurezza del Processo di analisi di rischio - determinazione

Cadence Design Systems protocollo di Comunicazione per la verifica Funzionale dell'indirizzo IP Tens - ricevitore satellitare

F* verifica Formale del Tipo di sistema di tipo Dipendente Proof assistant - compatto