Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura

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.

• Autores: Ayala Rincón, Mauricio; Hartenstein, Reiner W.; Maya Neto, Rinaldi; Jacobi, Ricardo P.; Llanos, Carlos Humberto
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2002
• Institución: Universidad Autónoma de Bucaramanga - UNAB
• Repositorio: Repositorio UNAB
• Idioma: spa
• OAI Identifier: oai:repository.unab.edu.co:20.500.12749/9060
• Acceso en línea: http://hdl.handle.net/20.500.12749/9060
• Palabra clave: Innovaciones tecnológicas; Ciencia de los computadores; Desarrollo de tecnología; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y las comunicaciones; TIC´s; Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Rewriting-logic; High level specification and simulation; Design environment; Innovaciones tecnológicas; Ciencias de la computación; Ingeniería de sistemas; Tecnologías de la información y la comunicación; Investigaciones; Lógica de reescritura; Especificación y simulación de alto nivel; Entorno de diseño; Desarrollo tecnológico
• License: Derechos de autor 2002 Revista Colombiana de Computación