Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
Ver/
Citación
Comparte este contenido
Fecha
2002-12-01Autor
Otros contribuidores
Metadatos
Mostrar el registro completo del ítemDocumentos PDF
Resumen
En los últimos años, el Grupo Arvind del MIT ha demostrado la utilidad de la teoría de la reescritura de términos para la especificación de arquitecturas de procesadores. En sus procesadores de enfoque
Los sistemas de reescritura de términos especificados se traducen en una descripción de hardware estándar
lenguaje con fines de simulación. En este trabajo presentamos nuestra investigación actual sobre
el uso de Reescritura-Lógica, que es un marco teórico más poderoso que el puro
reescritura, para especificación, exploración y verificación de arquitecturas de procesador a un
mayor nivel de abstracción. Adoptamos el entorno de lógica de reescritura ELAN para especificar,
explorar y verificar arquitecturas sin necesidad de recurrir a los detalles del hardware
lenguajes de descripción para fines de simulación. Nuestra investigación muestra que la simulación
a nivel de lógica de reescritura puede proporcionar información útil para guiar el diseño arquitectónico.
Palabras clave
Innovaciones tecnológicas; Ciencias de la computación; Ingeniería de sistemas; Tecnologías de la información y la comunicación; InvestigacionesKeywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Rewriting-logic; High level specification and simulation; Design environmentEnlace al recurso
Fuente del recurso
- Revista Colombiana de Computación; Vol. 3 Núm. 2 (2002): Revista Colombiana de Computación; 1-15
Enlace a este registro en el Repositorio Institucional UNAB
http://hdl.handle.net/20.500.12749/9060
Comentarios