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. On strong standard completeness in some MTL Δ expansions In this paper, inspired by the previous work of Franco Montagna on infinitary axiomatizations for st...
  2. Expressive Power of Evolving Neural Networks Working on Infinite Input Streams International audience
  3. Subtropical Satisfiability International audience
  4. Congruence Closure with Free Variables International audience
  5. Scalable Fine-Grained Proofs for Formula Processing International audience

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.