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
Resumen Cómo citar Descargas

Resumen

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. 

Cómo citar
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. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/1100

Descargas

Los datos de descargas todavía no están disponibles.
Publicado
2002-12-01
Número
Vol. 3 Núm. 2 (2002): Revista Colombiana de Computación (Julio-Diciembre)
Sección
Artículo de investigación científica y tecnológica

Métricas

QR Code