Enigma en VHDL
Una máquina Enigma a nivel de puertas en VHDL. Los tests automatizados destaparon dos bugs que llevaban nueve años escondidos, los dos ya arreglados y fijados por 241 comprobaciones.
Leer más...
Electrónica y bajo nivel
Ecuaciones booleanas deducidas de tablas de verdad, simplificadas con mapas de Karnaugh y traducidas a puertas AND, OR y NOT y biestables T. Sin atajos de comportamiento, que es más lento de escribir y mucho más fácil de equivocar, y ahí está justamente la gracia de hacerlo así.
Aquí vive también el assembly de Motorola 68K y la arquitectura de computadores. Todo eso lo aprendí estudiando Ingeniería Electrónica en la UPV/EHU, una carrera que no llegué a terminar, y me sigue cambiando la forma de leer código que está varios niveles de abstracción por encima.
El Enigma de abajo es la pieza a la que sigo volviendo. Es una máquina de cifrado funcionando a nivel de puertas, y es también el ejemplo más claro que tengo de por qué un diseño que entiendes bien no es un diseño que hayas verificado.
Proyectos de esta área
Apuntes
Todavía no hay apuntes escritos.