processor

Este proyecto está actualmente en pausa porque he comenzado la escuela de posgrado
No estoy seguro de si volveré a eso
El último código está en ramas OOO, OOO1, OOO2.

Compilador - ensamblador - procesador

Este repositorio implementa un compilador, ensamblador y un procesador.

Compilador

Ocaml.
La mayor parte del código tomado del curso de los compiladores del noreste.
Se compila a x86.

Ensamblador

Ocaml.
Cubre x86 a un RISC Isa y se ensambla a binario.

Procesador

Verilog.
Implementa un RISC ISA capaz de ejecutar todas las instrucciones generadas por el ensamblador.

Banco de pruebas

C - Interfaz de programación Verilog.
Simula la memoria de instrucciones, la memoria de datos y los registros.
Se ejecuta a través de diferentes tipos de pruebas:

1. Pruebas binarias - Código binario. y verificaciones para asegurarse de que la memoria y los registros principales sean los mismos que se esperaban
2. Pruebas de ensamblaje - Código de ensamblaje X86. Prueba solo el resultado final en EAX.
3. Pruebas de código: código de resumen. Prueba solo el resultado final en EAX.

Ejecutando el código

Hay un script de dependencia que puede o no funcionar para obtener las dependencias.
Una vez que se adquieren, se puede ejecutar el File Makefile que compilará los cuatro módulos y ejecutará el banco de pruebas.

Características futuras

1. Super Scalar?
2. Métricas de rendimiento (fallas de rama, IPC, histogramas de instrucción, puestos)?
3. ¿Predictor de rama?
4. Compilador - tuples?
5. Emulador?
6. Registros de instrucciones?
7. Fuera de servicio
8. Simulador de memoria (caché / hiarquía de memoria con latencia aleatoria)
9. Combinando la memoria de instrucciones y la memoria de datos