Verificación lógica de los modelos sintetizados para circuitos integrados. - González Rojas, José Daniel (Cartago, Costa Rica : J. González R., 2010)
Índice, apéndices
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
Bibliografía
ITCR
CSUCA
COTA
ELEC
Keywords: Circuitos integrados; Fallas lógicas; Rastreo; Verificación; Tesis