MODELO SEMÂNTICO DE OPERAÇÕES ARITMÉTICAS E LÓGICAS PARA HARDWARE VIRTUAL

Autores

  • Igor Sousa dos Santos Santana UESC
  • Cesar Alberto Bravo Pariente

Palavras-chave:

Virtualização, Hipervisor, Hardware virtual

Resumo

O objetivo desse projeto foi desenvolver um modelo semântico de
operações aritméticas e lógicas para hardware virtual; esse objetivo foi atingido
através de três etapas principais: Implementar portas lógicas e unidades lógicas
e aritméticas no software simulador de hardware virtual Nand2tetris;
Implementar funções recursivas e iterativas, para aferir o correto funcionamento
das operações lógicas e aritméticas na máquina virtual p-code machine. Na
primeira etapa, foram desenvolvidas no software simulador de hardware
Nand2tetris implementações das portas lógicas elementares. A partir dessas
portas lógicas, foram construídos circuitos combinacionais e circuitos
sequenciais como unidade lógica e aritmética, Meio Somador, Somador
Completo, Adição de 16 bits, negação lógica de 16 bits, E lógico de 16 bits, OU
lógico de 16 bits, entre outros. Na segunda etapa tratou-se de experimentar em
alto nível as operações aritméticas e lógicas, disponibilizadas pela máquina
virtual p-code machine, que foi implementada na linguagem de programação C,
como soma, subtração, maior que, menor que. Com as operações lógicas e
aritméticas já implementadas, foram desenvolvidos programas iterativos e
recursivos para calcular o n-ésimo valor da Sequência de Fibonacci e o fatorial
de um número n qualquer.

Downloads

Os dados de download ainda não estão disponíveis.

Referências

BROOKSHEAR, J. G. Ciência da Computação: uma visão abrangente. Tradução Cheng Mei Lee. 7. ed. Porto Alegre: Bookman, 2005. 515 p.

CAMPOS, A. S. Modelo semântico de controle de fluxo e chamada de sub-rotina para Hardware virtual. Trabalho de Conclusão de Curso (Graduação) - Ciências da Computação, Universidade Estadual de Santa Cruz, Ilhéus,BA, 2022a.

CAMPOS, A. S. AllanaVM. 2022b. Disponível em: https://github.com/AllanaCampos/VMs. Acesso em: 06 out. 2023.

CAPUANO, F. G.; IDOETA, I. V. Elementos de eletrônica digital. 41. ed. São Paulo: Érica, c2012. 524 p.

HIALINX. O surgimento da virtualização e as grandes mudanças que ela teve. 2019. Disponível em: https://www.hialinx.com.br/post/o-surgimento-da-virtualização-e-as-grandes-mudanças-que-ela-trouxe. Acesso em: 07 out. 2022.

IBM. System/360 From Computers to Computer Systems. 2023. Disponível em: https://www.ibm.com/ibm/history/ibm100/us/en/icons/system360/. Acesso em: 07 out. 2023.

LOGIC.LY. A logic circuit simulator for Windows and macOS - logic gates, flip-flops, computer architecture, electronics, integrated circuits. 2021. Disponível em: https://logic.ly/. Acesso em: 06 out. 2023.

MICROSOFT. Azure. 2023. Disponível em: https://azure.microsoft.com/pt-br/resources/cloud-computing-dictionary/what-is-azure/. Acesso em: 07 out. 2023.

Nand2Tetris. Building a Modern Computer From First Principles. 2021. Disponível em: https://www.nand2tetris.org/. Acesso em: 06 out. 2023.

NELSON, V. et al. Digital Logic Circuit Analysis and Design. [S.l.]: Prentice Hall, 1995.

ORACLE. Oracle VM. 2021. Disponível em:

https://docs.oracle.com/en/virtualization/oracle-vm/3.4/concepts/E64081.pdf. Acesso em: 07 out. 2023.

SANTANA, I. S. S. Programa p-code que calcula o fatorial iterativo de 5. [S. l.: s. n.], 2020. Disponível em: http://cpp.sh/8xz7z. Acesso em: 7 out. 2023.

SANTANA, I. S. S. Vídeo no site youtube sobre a simulação da ULA no software Logic.ly. [S. l.: s. n.], 2021a

Disponível em: https://youtu.be/xXietuJC83o. Acesso em:

SANTANA, I. S. S. Vídeo no site youtube sobre o teste automatizado da ULA de 4 bits. Disponível em: https://youtu.be/KRKOzmZ2_fc. 2021b.

SANTANA, I. S. S. Programa p-code que calcula a Sequência de Fibonacci iterativo. [S. l.: s. n.] 2021c. Disponível em: http://cpp.sh/4lucc.

SEBESTA, R. W. Conceitos de linguagens de programação. São Paulo: Bookman, 2018.

SINGH, H. Next-Gen Virtualization for Dummies, Vmware Special Edition. New Jersey: John Wiley & Sons, Inc. 2019. 64 p.

VMWARE. VMware. 2023. Disponível em: https://www.vmware.com/. Acesso em: 07 out. 2023.

WIKIPEDIA. Máquina Virtual Java. 2023. Disponível em: https://pt.wikipedia.org/wiki/M%C3%A1quina_virtual_Java. Acesso em: 08 out. 2023.

WIRTH, N. Compiler Construction. Addison-Wesley, 1996.

ZANOELLO, T. B. Curso de introdução a criação e uso de Máquinas Virtuais. 1. ed. São Paulo: Seção Técnica de Informática – USP, 2017. 28 p.

Downloads

Publicado

2024-03-18

Como Citar

MODELO SEMÂNTICO DE OPERAÇÕES ARITMÉTICAS E LÓGICAS PARA HARDWARE VIRTUAL. (2024). Colloquium Exactarum. ISSN: 2178-8332, 16(1), 1-11 e244615. https://journal.unoeste.br/index.php/ce/article/view/4615

Artigos Semelhantes

1-10 de 35

Você também pode iniciar uma pesquisa avançada por similaridade para este artigo.

Artigos mais lidos pelo mesmo(s) autor(es)

1 2 3 4 5 6 7 8 9 10 > >>