DSpace DSpace UPC
 English   Castellano   Català  

Treballs academics UPC >
Facultat d'Informàtica de Barcelona >
Enginyeria Informàtica (Pla 2003) >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2099.1/12064

Arxiu Descripció MidaFormat
69348.pdf915,14 kBAdobe PDFVeure/Obrir

Títol: An environment for the automatic verification of digital circuits
Autor: San Pedro Martín, Javier de Veure Producció científica UPC
Tutor/director/avaluador: Cortadella Fortuny, Jordi Veure Producció científica UPC; Carmona Vargas, Josep Veure Producció científica UPC
Universitat: Universitat Politècnica de Catalunya
Càtedra /Departament: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Matèries: Àrees temàtiques de la UPC::Enginyeria electrònica i telecomunicacions::Circuits electrònics
Digital integrated circuits
Verilog
Verficació Automática
SMV
Automatic Verification
Circuits integrats digitals
Data: 17-mai-2011
Tipus de document: Master thesis (pre-Bologna period)
Resum: English: The aim of this project is to implement a system for the automatic verification of digital circuits written in a high-level hardware description language (Verilog), to be potentially used to assist a electronic design automation course.
Descripció: Finalista del Premi Cercle Fiber al millor Projecte Final de Carrera (curs 2010-2011)
URI: http://hdl.handle.net/2099.1/12064
Condicions d'accés: Open Access
Apareix a les col·leccions:Enginyeria Informàtica (Pla 2003)
Comparteix:



SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius