An environment for the automatic verification of digital circuits


English Castellano Català

	Pàgina d'inici
	Estadístiques d'ús

Llistar
	Comunitats
	Títol
	Autor
	Data
	Matèria
	Àrees temàtiques de la UPC

Serveis
	Alertes
	El meu DSpace usuaris autoritzats
	Editar perfil
	Entrada usuaris no UPC


	Sobre DSpace

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ó	Mida	Format
69348.pdf		915.14 kB	Adobe PDF	Veure/Obrir

Títol:	An environment for the automatic verification of digital circuits
Autor:	De San Pedro Martin, Javier
Tutor/director/avaluador:	Cortadella Fortuny, Jordi ; Carmona Vargas, Josep
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:

Mostra les estadístiques d'aquest ítem

Queda prohibida la reproducció, transformació, distribució i comunicació pública d'aquesta obra. Es permet, en tot cas, la reproducció per a ús privat sempre i quan la còpia que se'n faci no sigui objecte d'utilització col·lectiva ni lucrativa (art. 31.2 del Reial Decret Legislatiu 1/1996, de 12 d'abril, pel qual s'aprova el Text Refós de la Llei de Propietat Intel·lectual, http://bibliotecnica.upc.es/sepi/legislacio.asp).

Per a qualsevol ús que es vulgui fer diferent al permès, dirigiu-vos a: sepi@upc.edu