Architectural specification, exploration and simulation through rewriting-logic

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorAyala-Rincón, Mauricio-
Autor(es): dc.creatorHartenstein, Reiner W.-
Autor(es): dc.creatorMaya Neto, Rinaldi-
Autor(es): dc.creatorJacobi, Ricardo Pezzuol-
Autor(es): dc.creatorLlanos Quintero, Carlos Humberto-
Data de aceite: dc.date.accessioned2024-10-23T14:59:35Z-
Data de disponibilização: dc.date.available2024-10-23T14:59:35Z-
Data de envio: dc.date.issued2012-08-31-
Data de envio: dc.date.issued2012-08-31-
Data de envio: dc.date.issued2002-07-
Fonte completa do material: dc.identifierhttp://repositorio.unb.br/handle/10482/11087-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/871635-
Descrição: dc.descriptionIn 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.-
Formato: dc.formatapplication/pdf-
Publicador: dc.publisherUniversidad Autónoma de Bucaramanga-
Direitos: dc.rightsAcesso Aberto-
Direitos: dc.rightsEste 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.-
Palavras-chave: dc.subjectLógica de Reescrita-
Palavras-chave: dc.subjectProcessamento eletrônico de dados-
Título: dc.titleArchitectural specification, exploration and simulation through rewriting-logic-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional – UNB

Não existem arquivos associados a este item.