| | |
Summary: Electronic Notes in Theoretical Computer Science 70 No. 6 (2002)
URL: http://www.elsevier.nl/locate/entcs/volume70.html 16 pages
Applying ELAN Strategies in Simulating
Processors over Simple Architectures 1
Mauricio Ayala-Rincon 2
Departamento de Matematica, Universidade de Braslia
Braslia D.F., Brasil
Rinaldi Maya Neto, Ricardo P. Jacobi 3
Departamento de Ci^encia da Computac~ao, Universidade de Braslia
Braslia D.F., Brasil
Carlos H. Llanos 4
IESB, Braslia D.F., Brasil
Reiner W. Hartenstein 5
Fachbereich Informatik, Universitat Kaiserslautern
Kaiserslautern, Germany
Abstract
The simulation of processors over simple architectures is important for enabling
test and veri cation prior to the expensive implementation involved in the develop-
ment of new hardware technologies. Arvind's group has illustrated how to describe
processors by term rewriting systems and has introduced a technique for prov-
|
