1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

Abstract In recent years Arvind's Group at MIT has shown theusefulness of term rewriting theory for the specification of processor architectures. In their approach processors spec-ified by term rewriting systems are translated into a standard hardware description language for simulation pur-poses. In this work we present our current investigation on the use of Rewriting-Logic, which is a more powerful theo-retical framework than pure rewriting, for specification and verification of processor architectures at a higher abstrac-tion level. We adopt the rewriting-logic environment ELAN to specify and verify architectures without the need to resortto the details of hardware description languages for simulation purposes. Our investigation shows that simulationat rewriting-logic level may provide useful insights to guide the architectural design. Keywords: Rewriting-logic, High Level Specification andSimulation, Design Environment. 1

Pertenece a

CiteSeerX Scientific Literature Digital Library and Search Engine  

Autor(es)

Carlos H. Llanosiesb - 

Id.: 47276931

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/postscript - 

Tipo de recurso: Texto Narrativo  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Metadata may be used without restrictions as long as the oai identifier remains attached to it.

Formatos:  application/postscript - 

Requerimientos técnicos:  Browser: Any - 

Relación: [IsBasedOn] http://www.mat.unb.br/~ayala/sbac0702.ps
[References] 10.1.1.31.2833

Fecha de contribución: 28-ago-2009

Contacto:

Localización:

Otros recursos que te pueden interesar

  1. Authoritarian Governments and the Corrosion of the Social Protection Network in Brazil Abstract What are the impacts of the austerity reforms on the social protection network and the lega...
  2. State, Economy and Democracy in Brazil and Latin America
  3. EIDINOW, Esther and KINDT, Julia (eds.). The Oxford Handbook of Ancient Greek Religion. Oxford and New York: Oxford University Press, 2015. p. xxii + 708. ISBN 9780199642038.
  4. Ordinatio: the Vitruvian concept as a generator of architectural design O artigo é dedicado a investigar o papel do conceito de ordinatio, elencado por Vitrúvio no tratado ...
  5. Stylistic devices in seneca’s hercules furens: Myth, reception, and the poetics of tragedy Seneca’s Hercules Furens presents one version of a well-known myth in literary, artistic, and philos...

Otros recursos de la mismacolección

No existen otros recursos

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.