Verificación lógica de los modelos sintetizados para circuitos integrados
Guardado en:
| Autor: | |
|---|---|
| Formato: | proyecto fin de carrera |
| Fecha de Publicación: | 2010 |
| Descripción: | Proyecto de Graduación (Licenciatura en Ingeniería Electrónica). Instituto Tecnológico de Costa Rica. Escuela de Ingeniería Electrónica, 2010. |
| País: | RepositorioTEC |
| Institución: | Instituto Tecnológico de Costa Rica |
| Repositorio: | RepositorioTEC |
| OAI Identifier: | oai:repositoriotec.tec.ac.cr:2238/2979 |
| Acceso en línea: | https://hdl.handle.net/2238/2979 |
| Palabra clave: | Faults models Fault Gradinglogic verification Mismatch Modular search Traceback Modelos de fallas Clasificación de fallas Verificación lógica Divergencia Búsqueda modular Rastreo |