M. Ayala-Rincon, R. W. Hartenstein, R.P. Jacobi, and C. Llanos. Designing Arithmetic Digital Circuits via Rewriting-Logic. Available at www.mat.unb.br/ayala/publications.html, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Electronic Notes in Theoretical Computer Science 70 No. 6 (2002) - Url Http Www Self-citation (Ayala-rinc Hartenstein Jacobi Llanos) (Correct)
No context found.
M. Ayala-Rincon, R. W. Hartenstein, R.P. Jacobi, and C. Llanos. Designing Arithmetic Digital Circuits via Rewriting-Logic. Available at www.mat.unb.br/ayala/publications.html, 2002.
Architectural Speci - Cation Exploration And (2002) Self-citation (Ayala-rinc Hartenstein Jacobi Llanos) (Correct)
No context found.
M. Ayala-Rincon, R. W. Hartenstein, R. Jacobi, and C. Llanos. Designing Arithmetic Digital Circuits via Rewriting-Logic. Available at www.mat.unb.br/ayala/publications.html, 2002.
Architectural Specification, Exploration and.. - Ayala-Rincon.. (2002) Self-citation (Ayala-rinc Hartenstein Jacobi Llanos) (Correct)
....5.1 Circuit design Circuit design may be addressed by rewriting. In the sequel we illustrate how rewriting may be used as an assistant tool for deducing appropriate algebraic terms with many regularities that result adequate for circuit design. We use an example of multiplication presented in [2]. The desired multiplication may be established as (y i X) that is equal to 2 (y 3 X) Properties of shift left (shl) and shift right (shr) binary operators used in algebraic circuits synthesis can be naturally described in a rewriting based language. The set of rewriting rules ....
M. Ayala-Rincon, R. W. Hartenstein, R. Jacobi, and C. Llanos. Designing Arithmetic Digital Circuits via Rewriting-Logic. Available at www.mat.unb.br/ayala/publications.html, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC