cation, Exploration and Simulation Through Rewriting-Logic Mauricio...  Home/Search
Context
Related
| mat.unb.br/%7Eayala/revicoli2002.ps Cached: PS.gz PS This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PDF Image Update HelpPS.gz PS From: xputers.informatik...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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