logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-09292014-164659

Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
URN
etd-09292014-164659
Titolo
Algebraic Techniques for Circuit Verification
Dipartimento
MATEMATICA
Corso di studi
MATEMATICA
Parole chiave
  • Nessuna parola chiave trovata
Data inizio appello
17/10/2014
Consultabilità
Completa
Riassunto (Inglese)
Riassunto (Italiano)
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