See this document in CiteSeerX!

Architectural Speci (2002)  (Make Corrections)  
cation, Exploration and Simulation Through Rewriting-Logic Mauricio...



  Home/Search   Context   Related

 
View or download:
mat.unb.br/%7Eayala/revicoli2002.ps
Cached:  PS.gz  PS   PDF  Image  Update  Help

From:  xputers.informatik...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the speci cation of processor architectures. In their approach processors speci ed by term rewriting systems are translated into a standard hardware description language for simulation purposes. In this work we present our current investigation on the use of Rewriting-Logic, which is a more powerful theoretical framework than pure rewriting, for speci cation, exploration and veri cation of... (Update)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ and-architectural,
  author = "Cation Exploration And",
  title = "Architectural Speci",
  url = "citeseer.ist.psu.edu/757841.html" }
Citations (may not include all citations):
353   Term Rewriting and All That (context) - Baader, Nipkow - 1998
29   An overview of ELAN (context) - Borovansk, Kirchner et al. - 1998
25   A Compiler for Nondeterministic Term Rewriting Systems (context) - Vittek - 1996
19   Using Term Rewriting Systems to Design and Verify Processors - Arvind - 1999
17   Hardware Synthesis from Term Rewriting Systems - Hoe - 1999
13   Advanced Computer Architectures: a Design Space Approach (context) - Sima, Fountain et al. - 1997
10   Promoting Rewriting to a Programming Language: A Compiler fo.. - Kirchner, Moreau - 2001
9   chapter Simple Words Problems in Universal Algebras (context) - Knuth, Bendix et al. - 1970
8   Non-deterministic computations in ELAN - Kirchner, Moreau - 1998
5   A decade of recon gurable computing: a visionary retrospecti.. (context) - Hartenstein - 2001
5   Nondeterminism in Algebraic Speci cations and Algebraic Prog.. (context) - Hussmann - 1993
4   Applying ELAN Strategies in Simulating Processors over Simpl.. (context) - Ayala-Rinc, Neto et al. - 2002
3   Designing Arithmetic Digital Circuits via Rewriting-Logic (context) - Ayala-Rinc, Hartenstein et al. - 2002
3   Design and Veri cation of Speculative Processors (context) - Shen - 1998
3   Modeling and Veri cation of ISA Implementations (context) - Shen - 1998
2   Trends in Recon gurable Logic and Recon gurable Computing (context) - Hartenstein, paper - 2002

Documents on the same site (http://xputers.informatik.uni-kl.de/staff/hartenstein/publications.html):   More
From Equation To Vhdl: Using Rewriting Logic For Automated .. - Morra Sackmann Shukla (2006)   (Correct)
Architectural Specification and Simulation Through.. - Mauricio..   (Correct)
Using Rewriting Logic To Generate Different.. - Polynomial Approximations .. (2006)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC