Revista Colombiana de Computación (Dec 2002)

Architectural specification, exploration and simulation through rewriting-logic

  • Mauricio Ayala Rincón,
  • Reiner W. Hartenstein,
  • Rinaldi Maya Neto,
  • Ricardo P. Jacobi,
  • Carlos Humberto Llanos

Journal volume & issue
Vol. 3, no. 2

Abstract

Read online

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.