In recent years Arvind&rsquo;s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description language for simulation purposes.Keywords: Rewriting-logic, High Level Specification and Simulation, Design Environment.&nbsp

Ayala Rincón, Mauricio

Hartenstein, Reiner W.

Jacobi, Ricardo P.

Llanos, Carlos Humberto

Maya Neto, Rinaldi

Spanish

UNAB Revistas Académicas

Architectural specification, exploration and simulation through rewriting-logic

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.In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors
specified by term rewriting systems are translated into a standard hardware description
language for simulation purposes. In this work we present our current investigation on
the use of Rewriting-Logic, which is a more powerful theoretical framework than pure
rewriting, for specification, exploration and verification of processor architectures at a
higher abstraction level. We adopt the rewriting-logic environment ELAN to specify,
explore and verify architectures without the need to resort to the details of hardware
description languages for simulation purposes. Our investigation shows that simulation
at rewriting-logic level may provide useful insights to guide the architectural design

LAReferencia - Red Federada de Repositorios Institucionales de Publicaciones Científicas Latinoamericanas

AutoarchivoRepositorio Institucional UNABhttps://unab.edu.co/sistema-de-bibliotecas-unab/Puedes ingresar directamente ahttps://repository.unab.edu.co/Inicie sesión como usuario de la Comunidad UNABDesde el botón de autoarchivo puedes seleccionar el programa de interésTambién puedes:1. Ingresar a la Comunidad de interés2. Seleccionar la Facultad3. Y escoger el programa académicoAl estar validado se activará la opción “Enviar un ítem a esta colección” para iniciar la descripción del documento en el formulario. ¡Es muy fácil!Ingrese el título completo del documento, en tipo oración, sin mayúsculas sostenidas a menos de ser nombres propiosDiligencie una variante del título o el título en inglésEn la primera casilla los apellidos y en la segunda los nombres completos de los autores. “Añadir” para cada uno de ellosEn caso de existir la participación corporativa de una entidad, ingresar el nombre de la organizaciónEn la primera casilla los apellidos y en la segunda los nombres completos de los directores o asesores. “Añadir” para cada uno de ellosAgregar la fecha de publicación del documentoEn caso de recibir un apoyo por una organización, es opcional incluir el nombre de la entidad Si la investigación serealizó en un lugar enespecífico se puede incluirde la siguiente manera:Mesa de Los Santos(Santander, Colombia)Si la investigación serealizó en un tiempo enespecífico se puededetallar aquí.Es necesario incluir el resumen en españolSe requiere incluir el resumen en inglésEs opcional incluir elresumen en otros idiomasCopiar y pegar la tabla decontenido aquíAgregar todos los términos asociados al contenido del documento, pertinentes para que sea recuperable en motores de búsquedaSe requiere la traducción de los términos anteriores en inglésSe ingresan todas lasreferencias bibliográficasincluidas en el documento,una a una.“Añadir” para grabar cadareferencia bibliográficaLa identidad digital de los investigadores es muy importante para su visibilidad. En caso de no contar con estos, comunícate con la Unidad de Investigaciones o con el Sistema de Bibliotecas UNABSe debe adjuntar la versiónfinal aprobada del trabajo degrado y sus anexos.Es muy importante incluir:1. La carta de aprobaciónpor la Facultad.2. Y la carta de autorizaciónde uso por los autores,firmada por cada uno.Al hacer el depósito del documento por parte del autor en el Repositorio Institucional UNAB, se enviará para una revisión previa antes de ser publicado.Cualquier duda o inquietud, no dudes en comunicarte con nosotrosCorreo electrónico: virtualbiblioteca@unab.edu.coSala de asesoría virtual:https://meet.google.com/ezm-drej-pcq?authuser=3

Revista Colombiana de Computación

In recent years Arvind&apos;s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description language for simulation purposes. In this work we present our current investigation on the use of Rewriting-Logic, which is a more powerful theoretical framework than pure rewriting, for specification, exploration and verification of processor architectures at a higher abstraction level. We adopt the rewriting-logic environment ELAN to specify, explore and verify architectures without the need to resort to the details of hardware description languages for simulation purposes. Our investigation shows that simulation at rewriting-logic level may provide useful insights to guide the architectural design

Mauricio Ayala-Rincon

Reiner W. Hartenstein

Rinaldi Maya Neto

Ricardo P. Jacobi

Carlos H. Llanos

CiteSeerX

Architectural Specification, Exploration and Simulation through Rewriting-Logic

https://repository.unab.edu.co/bitstream/handle/20.500.12749/12288/Autoarchivo%20del%20Repositorio%20Institucional%20UNAB.pdf

Architectural specification, exploration and simulation through rewriting-logic

Abstract

Similar works

Full text

Available Versions

UNAB Revistas Académicas

LAReferencia - Red Federada de Repositorios Institucionales de Publicaciones Científicas Latinoamericanas

CiteSeerX