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. Relationship between genotoxic effects of breast cancer treatments and patient basal DNA integrity It is accepted that radiotherapy and chemotherapy cause genotoxic effects as part of their therapy s...
  2. Cis- and trans-protopinium, a novel nematicide, for the eco-friendly management of root-knot nematodes Plant-derived nematicides are being increasingly used while select synthetic nematicides are phased ...
  3. Anaplastic thyroid carcinoma: Molecular tools for diagnosis and therapy This is an open access article distributed under the Creative Commons Attribution License.-- Editori...
  4. Central vascular disease and exacerbated pathology in a mixed model of type 2 diabetes and Alzheimer's disease et al.
  5. Biological control of tree and woody plant diseases: an impossible task? The social demand for novel, sustainable and environment friendly approaches, while ensuring the hea...

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.