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

En 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 e...

Full description

Autores:
Ayala Rincón, Mauricio
Hartenstein, Reiner W.
Maya Neto, Rinaldi
Jacobi, Ricardo P.
Llanos, Carlos Humberto
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2002
Institución:
Universidad Autónoma de Bucaramanga - UNAB
Repositorio:
Repositorio UNAB
Idioma:
spa
OAI Identifier:
oai:repository.unab.edu.co:20.500.12749/9060
Acceso en línea:
http://hdl.handle.net/20.500.12749/9060
Palabra clave:
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Rewriting-logic
High level specification and simulation
Design environment
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Lógica de reescritura
Especificación y simulación de alto nivel
Entorno de diseño
Desarrollo tecnológico
Rights
License
Derechos de autor 2002 Revista Colombiana de Computación
id UNAB2_5adb5361688eb13f7f20879fe6d5be66
oai_identifier_str oai:repository.unab.edu.co:20.500.12749/9060
network_acronym_str UNAB2
network_name_str Repositorio UNAB
repository_id_str
dc.title.spa.fl_str_mv Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
dc.title.translated.eng.fl_str_mv Architectural specification, exploration and simulation through rewriting-logic
title Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
spellingShingle Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Rewriting-logic
High level specification and simulation
Design environment
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Lógica de reescritura
Especificación y simulación de alto nivel
Entorno de diseño
Desarrollo tecnológico
title_short Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
title_full Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
title_fullStr Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
title_full_unstemmed Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
title_sort Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura
dc.creator.fl_str_mv Ayala Rincón, Mauricio
Hartenstein, Reiner W.
Maya Neto, Rinaldi
Jacobi, Ricardo P.
Llanos, Carlos Humberto
dc.contributor.author.spa.fl_str_mv Ayala Rincón, Mauricio
Hartenstein, Reiner W.
Maya Neto, Rinaldi
Jacobi, Ricardo P.
Llanos, Carlos Humberto
dc.contributor.orcid.spa.fl_str_mv Ayala Rincón, Mauricio [0000-0003-0089-3905]
Jacobi, Ricardo P. [0000-0002-4520-7641]
Llanos, Carlos Humberto [0000-0002-0115-4461]
dc.subject.none.fl_str_mv Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
topic Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Rewriting-logic
High level specification and simulation
Design environment
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Lógica de reescritura
Especificación y simulación de alto nivel
Entorno de diseño
Desarrollo tecnológico
dc.subject.keywords.eng.fl_str_mv Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Rewriting-logic
High level specification and simulation
Design environment
dc.subject.lemb.spa.fl_str_mv Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
dc.subject.proposal.spa.fl_str_mv Lógica de reescritura
Especificación y simulación de alto nivel
Entorno de diseño
Desarrollo tecnológico
description En 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.
publishDate 2002
dc.date.issued.none.fl_str_mv 2002-12-01
dc.date.accessioned.none.fl_str_mv 2020-10-27T00:21:29Z
dc.date.available.none.fl_str_mv 2020-10-27T00:21:29Z
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/article
dc.type.local.spa.fl_str_mv Artículo
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.redcol.none.fl_str_mv http://purl.org/redcol/resource_type/CJournalArticle
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.issn.none.fl_str_mv 2539-2115
1657-2831
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.12749/9060
dc.identifier.instname.spa.fl_str_mv instname:Universidad Autónoma de Bucaramanga UNAB
dc.identifier.repourl.none.fl_str_mv repourl:https://repository.unab.edu.co
identifier_str_mv 2539-2115
1657-2831
instname:Universidad Autónoma de Bucaramanga UNAB
repourl:https://repository.unab.edu.co
url http://hdl.handle.net/20.500.12749/9060
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv https://revistas.unab.edu.co/index.php/rcc/article/view/1100/1072
dc.relation.uri.none.fl_str_mv https://revistas.unab.edu.co/index.php/rcc/article/view/1100
dc.relation.references.none.fl_str_mv Arvind 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.
M. 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
M. 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.
F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998
P. 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.
R. 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.
R. 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.
J. C. Hoe and Arvind. Hardware Synthesis from Term Rewriting Systems. Technical Report 421 A, Laboratory for Computer Science - MIT, 1999.
H. Hussmann. Nondeterminism in Algebraic Specifications and Algebraic Programs. Birkh¨auser, 1993.
H. 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.
H. 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.
D. 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.
X. Shen and Arvind. Design and Verification of Speculative Processors. Technical Report 400 A, Laboratory for Computer Science - MIT, 1998.
X. Shen and Arvind. Modeling and Verification of ISA Implementations. Technical Report 400 B, Laboratory for Computer Science - MIT, 1998.
D. Sima, T. Fountain, and P. Kacsuck. Advanced Computer Architectures: a Design Space Approach. Addison-Wesley, 1997.
M. 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.rights.none.fl_str_mv Derechos de autor 2002 Revista Colombiana de Computación
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.uri.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.rights.creativecommons.*.fl_str_mv Atribución-NoComercial-SinDerivadas 2.5 Colombia
rights_invalid_str_mv Derechos de autor 2002 Revista Colombiana de Computación
http://creativecommons.org/licenses/by-nc-sa/4.0/
http://creativecommons.org/licenses/by-nc-nd/2.5/co/
Atribución-NoComercial-SinDerivadas 2.5 Colombia
http://purl.org/coar/access_right/c_abf2
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
publisher.none.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
dc.source.none.fl_str_mv Revista Colombiana de Computación; Vol. 3 Núm. 2 (2002): Revista Colombiana de Computación; 1-15
institution Universidad Autónoma de Bucaramanga - UNAB
bitstream.url.fl_str_mv https://repository.unab.edu.co/bitstream/20.500.12749/9060/1/2002_Articulo_Especificaci%c3%b3n%2c%20exploraci%c3%b3n%20y%20simulaci%c3%b3n%20arquitect%c3%b3nicas%20a%20trav%c3%a9s%20de%20la%20l%c3%b3gica%20de%20reescritura.pdf
https://repository.unab.edu.co/bitstream/20.500.12749/9060/2/2002_Articulo_Especificaci%c3%b3n%2c%20exploraci%c3%b3n%20y%20simulaci%c3%b3n%20arquitect%c3%b3nicas%20a%20trav%c3%a9s%20de%20la%20l%c3%b3gica%20de%20reescritura.pdf.jpg
bitstream.checksum.fl_str_mv e39903ec6359bedae2fbb1e1b58a63e6
91e165c09fd16fa3b2b09845086bb693
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional | Universidad Autónoma de Bucaramanga - UNAB
repository.mail.fl_str_mv repositorio@unab.edu.co
_version_ 1814277729596473344
spelling Ayala Rincón, Mauriciof681e303-3263-42cb-a9d5-96197d20d516Hartenstein, Reiner W.7732adf6-6573-4af2-93f5-6e2244bac51dMaya Neto, Rinaldib2ade8f9-4288-4d56-ad7c-702740aaeb98Jacobi, Ricardo P.ba973824-52eb-4d10-b0a2-2e604c7e8a89Llanos, Carlos Humberto6d99a64e-d7a1-42cf-9037-e975f6164611Ayala Rincón, Mauricio [0000-0003-0089-3905]Jacobi, Ricardo P. [0000-0002-4520-7641]Llanos, Carlos Humberto [0000-0002-0115-4461]2020-10-27T00:21:29Z2020-10-27T00:21:29Z2002-12-012539-21151657-2831http://hdl.handle.net/20.500.12749/9060instname:Universidad Autónoma de Bucaramanga UNABrepourl:https://repository.unab.edu.coEn 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.In 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.application/pdfspaUniversidad Autónoma de Bucaramanga UNABhttps://revistas.unab.edu.co/index.php/rcc/article/view/1100/1072https://revistas.unab.edu.co/index.php/rcc/article/view/1100Arvind 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.M. 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, 2002M. 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.F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998P. 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.R. 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.R. 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.J. C. Hoe and Arvind. Hardware Synthesis from Term Rewriting Systems. Technical Report 421 A, Laboratory for Computer Science - MIT, 1999.H. Hussmann. Nondeterminism in Algebraic Specifications and Algebraic Programs. Birkh¨auser, 1993.H. 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.H. 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.D. 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.X. Shen and Arvind. Design and Verification of Speculative Processors. Technical Report 400 A, Laboratory for Computer Science - MIT, 1998.X. Shen and Arvind. Modeling and Verification of ISA Implementations. Technical Report 400 B, Laboratory for Computer Science - MIT, 1998.D. Sima, T. Fountain, and P. Kacsuck. Advanced Computer Architectures: a Design Space Approach. Addison-Wesley, 1997.M. 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.Derechos de autor 2002 Revista Colombiana de Computaciónhttp://creativecommons.org/licenses/by-nc-sa/4.0/http://creativecommons.org/licenses/by-nc-nd/2.5/co/Atribución-NoComercial-SinDerivadas 2.5 Colombiahttp://purl.org/coar/access_right/c_abf2Revista Colombiana de Computación; Vol. 3 Núm. 2 (2002): Revista Colombiana de Computación; 1-15Innovaciones tecnológicasCiencia de los computadoresDesarrollo de tecnologíaIngeniería de sistemasInvestigacionesTecnologías de la información y las comunicacionesTIC´sTechnological innovationsComputer scienceTechnology developmentSystems engineeringInvestigationsInformation and communication technologiesICT'sRewriting-logicHigh level specification and simulationDesign environmentInnovaciones tecnológicasCiencias de la computaciónIngeniería de sistemasTecnologías de la información y la comunicaciónInvestigacionesLógica de reescrituraEspecificación y simulación de alto nivelEntorno de diseñoDesarrollo tecnológicoEspecificación, exploración y simulación arquitectónicas a través de la lógica de reescrituraArchitectural specification, exploration and simulation through rewriting-logicinfo:eu-repo/semantics/articleArtículohttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/redcol/resource_type/CJournalArticlehttp://purl.org/coar/version/c_970fb48d4fbd8a85ORIGINAL2002_Articulo_Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura.pdf2002_Articulo_Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura.pdfArtículoapplication/pdf172511https://repository.unab.edu.co/bitstream/20.500.12749/9060/1/2002_Articulo_Especificaci%c3%b3n%2c%20exploraci%c3%b3n%20y%20simulaci%c3%b3n%20arquitect%c3%b3nicas%20a%20trav%c3%a9s%20de%20la%20l%c3%b3gica%20de%20reescritura.pdfe39903ec6359bedae2fbb1e1b58a63e6MD51open accessTHUMBNAIL2002_Articulo_Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura.pdf.jpg2002_Articulo_Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura.pdf.jpgIM Thumbnailimage/jpeg7370https://repository.unab.edu.co/bitstream/20.500.12749/9060/2/2002_Articulo_Especificaci%c3%b3n%2c%20exploraci%c3%b3n%20y%20simulaci%c3%b3n%20arquitect%c3%b3nicas%20a%20trav%c3%a9s%20de%20la%20l%c3%b3gica%20de%20reescritura.pdf.jpg91e165c09fd16fa3b2b09845086bb693MD52open access20.500.12749/9060oai:repository.unab.edu.co:20.500.12749/90602023-01-11 22:00:34.858open accessRepositorio Institucional | Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co

Publicaciones similares