Desarrollo de un Ambiente de Verificación para una Unidad Lógica Aritmética mediante la Metodología Universal de Verificación.
Proyecto de Graduación (Licenciatura en Ingeniería Electrónica) Instituto Tecnológico de Costa Rica, Escuela de Ingeniería Electrónica, 2018
Autor Principal: | Valenciano-Blanco, Pablo André |
---|---|
Otros Autores: | Molina-Robles, Roberto |
Formato: | Tesis |
Idioma: | Español |
Publicado: |
Instituto Tecnológico de Costa Rica
2019
|
Materias: | |
Acceso en línea: |
https://hdl.handle.net/2238/10418 |
Sumario: |
Proyecto de Graduación (Licenciatura en Ingeniería Electrónica) Instituto Tecnológico de Costa Rica, Escuela de Ingeniería Electrónica, 2018 |
---|