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. Best Practices for Multi Actors and Multi Measures Programmes (MAP) in RTDI Policy, with a Focus on Co-operation Science-Industry � 1st Year
  2. Paulmier de Gonneville and Portugal: a Norman navigator in the first globalization Partially known since the 17th century and published in its entirety in 1869, the account of the exp...
  3. Clinical Benefit of 3 Tesla Magnetic Resonance Imaging Rescanning in Patients With Focal Epilepsy and Negative 1.5 Tesla Magnetic Resonance Imaging Background: Magnetic resonance imaging is an essential tool in the pre-surgical evaluation of patien...
  4. Caracterización de buenas prácticas y necesidades de mejora en los servicios de orientación para el empleo//Characterization of good practices and needs improvement in the public services of guidance for the employment This study aims to identify needs and experiences/factors that characterize good practices in the em...
  5. Religion and the Media in the 21st Century The relationship between pop music and the urbanspace gives rise to a dialectic which affects both t...

Otros recursos de la mismacolección

  1. Analog Neural Nets with Gaussian or Other Common Noise Distributions Cannot Recognize Arbitrary Regular Languages We consider recurrent analog neural nets where the output of each gate is subject to gaussian noise ...
  2. On the Effect of Analog Noise in Discrete-Time Analog Computations We introduce a model for analog computation with discrete time in the presence of analog noise that ...
  3. Generalized graphlet kernels for probabilistic inference in sparse graphs
  4. Scalable kernels for graphs with . . . While graphs with continuous node attributes arise in many applications, state-of-the-art graph kern...
  5. LEDA -- a Library of Efficient Data Types and Algorithms LEDA is a library of efficient data types and algorithms. At present, its strength is graph algorith...

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.