Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura

Vista sencilla de ítem
dc.contributor.authorAyala Rincón, Mauriciospa
dc.contributor.authorHartenstein, Reiner W.spa
dc.contributor.authorMaya Neto, Rinaldispa
dc.contributor.authorJacobi, Ricardo P.spa
dc.contributor.authorLlanos, Carlos Humbertospa
dc.contributor.orcidAyala Rincón, Mauricio [0000-0003-0089-3905]spa
dc.contributor.orcidJacobi, Ricardo P. [0000-0002-4520-7641]spa
dc.contributor.orcidLlanos, Carlos Humberto [0000-0002-0115-4461]spa
dc.date.accessioned2020-10-27T00:21:29Z
dc.date.available2020-10-27T00:21:29Z
dc.date.issued2002-12-01
dc.description.abstractEn los últimos años, el Grupo Arvind del MIT ha demostrado la utilidad de la teoría de la reescritura de términos para la especificación de arquitecturas de procesadores. En sus procesadores de enfoque Los sistemas de reescritura de términos especificados se traducen en una descripción de hardware estándar lenguaje con fines de simulación. En este trabajo presentamos nuestra investigación actual sobre el uso de Reescritura-Lógica, que es un marco teórico más poderoso que el puro reescritura, para especificación, exploración y verificación de arquitecturas de procesador a un mayor nivel de abstracción. Adoptamos el entorno de lógica de reescritura ELAN para especificar, explorar y verificar arquitecturas sin necesidad de recurrir a los detalles del hardware lenguajes de descripción para fines de simulación. Nuestra investigación muestra que la simulación a nivel de lógica de reescritura puede proporcionar información útil para guiar el diseño arquitectónico.spa
dc.description.abstractenglishIn recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description language for simulation purposes. In this work we present our current investigation on the use of Rewriting-Logic, which is a more powerful theoretical framework than pure rewriting, for specification, exploration and verification of processor architectures at a higher abstraction level. We adopt the rewriting-logic environment ELAN to specify, explore and verify architectures without the need to resort to the details of hardware description languages for simulation purposes. Our investigation shows that simulation at rewriting-logic level may provide useful insights to guide the architectural design.eng
dc.format.mimetypeapplication/pdfspa
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNABspa
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.repourlrepourl:https://repository.unab.edu.co
dc.identifier.urihttp://hdl.handle.net/20.500.12749/9060
dc.language.isospaspa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1100/1072
dc.relation.referencesArvind and X. Shen. Using Term Rewriting Systems to Design and Verify Processors. Technical Report 419, Laboratory for Computer Science - MIT, 1999. in IEEE Micro Special Issue on ”Modeling and Validation of Microprocessors”, 1999.
dc.relation.referencesM. Ayala-Rinc´on, 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
dc.relation.referencesM. Ayala-Rinc´on, R. M. Neto, R. Jacobi, C. Llanos, and R. W. Hartenstein. Applying ELAN Strategies in Simulating Processors over Simple Architectures. In B. Gramlich and S. Lucas, editors, Proc. 2nd Workshop on Reduction Strategies in Rewriting and Programming, ENTCS volume 70(6):16 pages. Elsevier 2002.
dc.relation.referencesF. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998
dc.relation.referencesP. Borovansk´y, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of ELAN. In C. Kirchner and H. Kirchner, editors, ENTCS, volume 15. Elsevier, 1998.
dc.relation.referencesR. W. Hartenstein. A decade of reconfigurable computing: a visionary retrospective. In Proceedings of the DATE 2001 on Design, automation and test in Europe, pages 642–649. IEEE Press, 2001.
dc.relation.referencesR. W. Hartenstein. (Invited paper): Trends in Reconfigurable Logic and Reconfigurable Computing. In Proceedings of the Ninth IEEE Int. Conf. on Electronics, Circuits and Systems - ICECS 2002, Dubrovnik (Croatia), 2002.
dc.relation.referencesJ. C. Hoe and Arvind. Hardware Synthesis from Term Rewriting Systems. Technical Report 421 A, Laboratory for Computer Science - MIT, 1999.
dc.relation.referencesH. Hussmann. Nondeterminism in Algebraic Specifications and Algebraic Programs. Birkh¨auser, 1993.
dc.relation.referencesH. Kirchner and P.-E. Moreau. Non-deterministic computations in ELAN. In J. Fiadeiro, editor, Recent Developments in Algebraic Specification Techniques, Proc. 13th WADT’98, volume 1589 of LNCS, pages 168–182. Springer, 1998.
dc.relation.referencesH. Kirchner and P.-E. Moreau. Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories. Journal of Functional Programming, 11(2):207–251, 2001.
dc.relation.referencesD. E. Knuth and P. B. Bendix. Computational Problems in Abstract Algebra, chapter Simple Words Problems in Universal Algebras, pages 263–297. J. Leech, ed. Pergamon Press, Oxford, U. K., 1970.
dc.relation.referencesX. Shen and Arvind. Design and Verification of Speculative Processors. Technical Report 400 A, Laboratory for Computer Science - MIT, 1998.
dc.relation.referencesX. Shen and Arvind. Modeling and Verification of ISA Implementations. Technical Report 400 B, Laboratory for Computer Science - MIT, 1998.
dc.relation.referencesD. Sima, T. Fountain, and P. Kacsuck. Advanced Computer Architectures: a Design Space Approach. Addison-Wesley, 1997.
dc.relation.referencesM. Vittek. A Compiler for Nondeterministic Term Rewriting Systems. In H. Ganzinger, editor, Proc. Seventh Int. Conf. on Rewriting Techniques and Applications RTA-96, New Brunswick, NJ, USA, volume 1103 of LNCS, pages 154–168. Springer, July 1996.
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1100
dc.rightsDerechos de autor 2002 Revista Colombiana de Computación
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.creativecommonsAtribución-NoComercial-SinDerivadas 2.5 Colombia*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.sourceRevista Colombiana de Computación; Vol. 3 Núm. 2 (2002): Revista Colombiana de Computación; 1-15
dc.subjectInnovaciones tecnológicas
dc.subjectCiencia de los computadores
dc.subjectDesarrollo de tecnología
dc.subjectIngeniería de sistemas
dc.subjectInvestigaciones
dc.subjectTecnologías de la información y las comunicaciones
dc.subjectTIC´s
dc.subject.keywordsTechnological innovationseng
dc.subject.keywordsComputer scienceeng
dc.subject.keywordsTechnology developmenteng
dc.subject.keywordsSystems engineeringeng
dc.subject.keywordsInvestigationseng
dc.subject.keywordsInformation and communication technologieseng
dc.subject.keywordsICT'seng
dc.subject.keywordsRewriting-logiceng
dc.subject.keywordsHigh level specification and simulationeng
dc.subject.keywordsDesign environmenteng
dc.subject.lembInnovaciones tecnológicasspa
dc.subject.lembCiencias de la computaciónspa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembTecnologías de la información y la comunicaciónspa
dc.subject.lembInvestigacionesspa
dc.subject.proposalLógica de reescrituraspa
dc.subject.proposalEspecificación y simulación de alto nivelspa
dc.subject.proposalEntorno de diseñospa
dc.subject.proposalDesarrollo tecnológicospa
dc.titleEspecificación, exploración y simulación arquitectónicas a través de la lógica de reescrituraspa
dc.title.translatedArchitectural specification, exploration and simulation through rewriting-logiceng
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.type.driverinfo:eu-repo/semantics/article
dc.type.hasversionInfo:eu-repo/semantics/publishedVersion
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersionspa
dc.type.localArtículospa
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
2002_Articulo_Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura.pdf
Tamaño:
168.47 KB
Formato:
Adobe Portable Document Format
Descripción:
Artículo
Descargar

Colecciones

Revista Colombiana de Computación