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. Maehara-style Modal Nested Calculi We develop multi-conclusion nested sequent calculi for the fifteen logics of the intuitionistic moda...
  2. Translating Between Implicit and Explicit Versions of Proof International audience
  3. $rec.titulo
  4. The use of fuzzy logic for data analysis and modelling of European harmful algal blooms: results of the HABES project Special issue Harmful Algae 2004.-- 5 pages, 5 figures, 1 table
  5. Linearly Bounded Infinite Graphs Short version of hal-00149109. The original publication is available at www.springerlink.com.

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.