X. Shen and Arvind. Design and Veri cation of Speculative Processors. Technical Report 400 A, Laboratory for Computer Science - MIT, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Architectural Specification, Exploration and.. - Ayala-Rincon.. (2002) (Correct)
....implementation of higher order programming languages and proof assistants. In recent years some work on applying rewriting techniques to model and veri cation of digital processors has been developed. In particular, Arvind s group has treated the design of processors over simple architectures [13, 14, 1] and synthesis of digital circuits [8] Their approach to architectural description was to describe a simple RISC processor using TRS and to translate it to a standard hardware description language for simulation purposes. However, this approach introduces the cost of program translation and ....
....Term Rewriting System, TRS for short, is de ned as a triple hS; R; S 0 i, where S and R are respectively sets of terms and of rewrite rules of the form s 1 s 2 if p(s 1 ) being s 1 ; s 2 terms and p a predicate and where S 0 is the subset of initial terms of S. In the architectural context of [13], terms and rules represent states and state transitions, respectively. A term s 1 can be rewritten to the term s 2 , denoted by s 1 s 2 , whenever there exist a subterm s 1 of s 1 that can be rewritten according to some rewrite rule into the term s 2 such that replacing the occurrence of ....
[Article contains additional citation context not shown here]
X. Shen and Arvind. Design and Veri cation of Speculative Processors. Technical Report 400 A, Laboratory for Computer Science - MIT, 1998.
Electronic Notes in Theoretical Computer Science 70 No. 6 (2002) - Url Http Www (Correct)
No context found.
X. Shen and Arvind. Design and Veri cation of Speculative Processors. Technical Report 400 A, Laboratory for Computer Science - MIT, 1998.
Architectural Speci - Cation Exploration And (2002) (Correct)
No context found.
X. Shen and Arvind. Design and Veri cation of Speculative Processors. Technical Report 400 A, Laboratory for Computer Science - MIT, 1998.
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