Tesi etd-09292014-164659 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
PAPINI, OSCAR
URN
etd-09292014-164659
Titolo
Algebraic Techniques for Circuit Verification
Dipartimento
MATEMATICA
Corso di studi
MATEMATICA
Relatori
relatore Prof. Gianni, Patrizia
relatore Dott. Trager, Barry
relatore Dott. Trager, Barry
Parole chiave
- Nessuna parola chiave trovata
Data inizio appello
17/10/2014
Consultabilità
Completa
Riassunto
In this thesis we describe some computer algebra techniques for the formal verification of logic or arithmetic circuits.
File
| Nome file | Dimensione |
|---|---|
| master.pdf | 454.45 Kb |
Contatta l’autore |
|