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

In this work we present our current investigation on use of rewriting-logic as a higher abstraction way to tackle digital design. Rewriting can be used to specify, simulate and even synthesize complex application specific digital systems, which provides a higher abstraction level than current system level languages. To illustrate the possibilities of rewriting-logic in the context of regular hardware structures we describe how to implement di#erent arithmetic operators.

Pertenece a

CiteSeer Computer and Information Science Publications collection  

Autor(es)

Mauricio Ayala -  rincon,Reiner W. Hartenstein,Ricardo P. Jacobi,Carlos H. Llanos,Wander J. Queroz - 

Id.: 42058359

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  ps - 

Palabras claveMauricio Ayala -  rincon,Reiner W. Hartenstein,Ricardo P. Jacobi,Carlos H. Llanos,Wander J. Queroz Designing Arithmetic Digital Circuits via Rewriting -  Logic - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: unrestricted

Formatos:  ps - 

Requerimientos técnicos:  Browser: Any - 

Relación: [IsBasedOn] http://www.mat.unb.br/~ayala/acmversion.ps
[References] oai:CiteSeerPSU:369289
[References] oai:CiteSeerPSU:280313
[References] oai:CiteSeerPSU:249015
[References] oai:CiteSeerPSU:222699
[References] oai:CiteSeerPSU:245360
[References] oai:CiteSeerPSU:495487

Fecha de contribución: 31-mar-2009

Contacto:

Localización:

Otros recursos del mismo autor(es)

  1. A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language This paper shows how a formalization for the theory of Abstract Reduction Systems (ARSs) in which no...
  2. Elementary Deduction Problem for Locally Stable Theories with Normal Forms We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable...
  3. Evaluación externa de los resultados serológicos en los bancos de sangre de Colombia OBJETIVO: Analizar los resultados serológicos obtenidos en los bancos de sangre colombianos que part...
  4. Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model In this work, we present an algebraic approach for modeling the two-party cascade protocol of Dolev-...
  5. Formalizing the Confluence of Orthogonal Rewriting Systems Orthogonality is a discipline of programming that in a syntactic manner guarantees determinism of fu...

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.