Architectural specification, exploration and simulation through rewriting-logic

  • Mauricio Ayala Rincón Corresponding author. Partially supported by FEMAT Brazilian foundation for mathematical research. Departamento de Matem´atica, Universidade de Bras´ılia, Brasil
  • Reiner W. Hartenstein Fachbereich Informatik, Universität Kaiserslautern, Germany
  • Rinaldi Maya Neto Departmento de Ciˆencia de Computa¸c˜ao, Universidade de Brasília, Brasil
  • Ricardo P. Jacobi Departmento de Ciˆencia de Computa¸c˜ao, Universidade de Bras´ılia, Brasil
  • Carlos Humberto Llanos IESB Brasília D.F., Brasil
Abstract How to Cite Downloads

Abstract

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.

Keywords: Rewriting-logic, High Level Specification and Simulation, Design Environment. 

How to Cite
Ayala Rincón, M., Hartenstein, R. W., Maya Neto, R., Jacobi, R. P., & Llanos, C. H. (2002). Architectural specification, exploration and simulation through rewriting-logic. Revista Colombiana De Computación, 3(2), 1–15. Retrieved from https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1100

Downloads

Download data is not yet available.
Published
2002-12-01
Issue
Vol. 3 No. 2 (2002): Revista Colombiana de Computación (Julio-Diciembre)
Section
Article of scientific and technological research

Altmetric

Escanea para compartir
QR Code