Verificación lógica de los modelos sintetizados para circuitos integrados. /

Detalles Bibliográficos
Autor principal: González Rojas, José Daniel
Formato: Tesis Libro
Lenguaje:Spanish
Publicado: Cartago, Costa Rica : J. González R., 2010.
Materias:
LEADER 01015nmm a2200289 a 4500
001 000123410
005 20130429145830.0
008 110302s2010 cr d spa d
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
090 |a TF 6765 
100 1 |a González Rojas, José Daniel 
245 1 0 |a Verificación lógica de los modelos sintetizados para circuitos integrados. /  |c José Daniel González Rojas. 
260 |a Cartago, Costa Rica :  |b J. González R.,  |c 2010. 
300 |a 1 disco de computadora :  |b diagramas. 
502 |a Proyecto de graduación (Licenciatura en Ingeniería en Electrónica) Instituto Tecnológico de Costa Rica, Escuela de Ingeniería en Electrónica, 2010 
504 |a Bibliografía 
505 1 |a Índice, apéndices 
590 |a ITCR 
590 |a CSUCA 
590 |a COTA 
590 |a ELEC 
650 1 4 |a Circuitos integrados 
650 1 4 |a Fallas lógicas 
650 1 4 |a Rastreo 
650 1 4 |a Verificación 
655 4 |a Tesis 
902 |a JENRIQUEZ  |b 2013/04/26