Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Electronic Notes in Theoretical Computer Science 70 No. 6 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 16 pages
 

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-

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics