Verificación lógica de los modelos sintetizados para circuitos integrados
Sparad:
| Upphovsman: | |
|---|---|
| Materialtyp: | proyecto fin de carrera |
| Utgivningstid: | 2010 |
| Beskrivning: | Proyecto de Graduación (Licenciatura en Ingeniería Electrónica). Instituto Tecnológico de Costa Rica. Escuela de Ingeniería Electrónica, 2010. |
| Land: | RepositorioTEC |
| Organisation: | Instituto Tecnológico de Costa Rica |
| Repositorio: | RepositorioTEC |
| OAI Identifier: | oai:repositoriotec.tec.ac.cr:2238/2979 |
| Länkar: | https://hdl.handle.net/2238/2979 |
| Nyckelord: | 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 |