Skip navigation
Please use this identifier to cite or link to this item: https://repositorio.unb.br/handle/10482/11087
Files in This Item:
File Description SizeFormat 
ARTIGO_ArchitecturalSpecificationExploration.pdf168,47 kBAdobe PDFView/Open
Title: Architectural specification, exploration and simulation through rewriting-logic
Authors: Ayala Rincón, Mauricio
Hartenstein, Reiner W.
Maya Neto, Rinaldi
Jacobi, Ricardo Pezzuol
Llanos Quintero, Carlos Humberto
Assunto:: Lógica de Reescrita
Processamento eletrônico de dados
Issue Date: Jul-2002
Publisher: Universidad Autónoma de Bucaramanga
Citation: AYALA RICÓN, Maurício et al. Architectural specification, exploration and simulation through rewriting-logic. Revista Colombiana de Computación - RCC, Norteamérica, v. 3, n. 2, jul. 2002. Disponível em: <http://revistas.unab.edu.co/index.php?journal=rcc&page=article&op=view&path%5B%5D=1100>. Acesso em: 27 ago. 2012.
Abstract: 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.
Licença:: Este trabajo está autorizado por una Licencia de Atribución de Bienes Comunes Creativos (Attribution 3.0 Unported (CC BY 3.0)). Fonte: http://revistas.unab.edu.co/index.php?journal=rcc&page=article&op=view&path%5B%5D=1100. Acesso em: 27 ago. 2012.
Appears in Collections:CIC - Artigos publicados em periódicos
ENM - Artigos publicados em periódicos

Show full item record Recommend this item " class="statisticsLink btn btn-primary" href="/handle/10482/11087/statistics">



This item is licensed under a Creative Commons License Creative Commons