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 que te pueden interesar

  1. A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers International audience
  2. Syntax vs. Semantics: a polarized approach We present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a correspond...
  3. Polarized proof-nets and lambda-mu calculus We first define polarized proof-nets, an extension of MELL proof-nets for the polarized fragment of ...
  4. Complete systems of β-rational identities
  5. A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring in "Selected papers of the second international colloquium on words, languages and combinatorics", K...

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.