Investigaciones que implementan el diseño logico

Computación Reversible para Circuitos Energéticamente Eficientes

Optimización Evolutiva Interactiva de Arquitecturas de Software

Spike-based Building Blocks para Operaciones Lógicas

Investigaciones que implementan el diseño logico

Lagarto I: Plataforma Abierta para Arquitectura de Microprocesadores

Diseño Lógico de Redes: Estrategias Innovadoras en Conectividad

Sebastian Cubillas Aguirre

Spike-based Building Blocks para Operaciones Lógicas

• Utiliza redes neuronales "spiking" para emular puertas logicas, implementadas en la plataforma "SpiNNaker".

• Demuestra como el diseño logico puede inspirar hardware neuromorfico, replicando funciones de circuitos digitales de forma biologica.

Álvaro Ayuso-Martínez, Daniel Casanueva-Morato, Juan P. Domínguez-Morales, Ángel Jiménez-Fernández, Gabriel Jiménez-Moreno. Publicado en arXiv el 9 de mayo de 2022. Spike-based building blocks for performing logic operations using Spiking Neural Networks on SpiNNaker

Optimización Evolutiva Interactiva de Arquitecturas de Software

• Integra criterios cuantitativos y cualitativos (lógicos) para guiar algoritmos evolutivos en la búsqueda de soluciones de software, involucrando el juicio humano en el proceso.

• Fusiona técnicas de optimización con la lógica del diseño para lograr arquitecturas robustas y adaptativas.

"Interactive Multi-Objective Evolutionary Optimization of Software Architectures" Aurora Ramírez, José Raúl Romero, Sebastián Ventura. Publicado en Information Sciences, vol. 463-464, pp. 92-109, 2018.

Computación Reversible para Circuitos Energéticamente Eficientes

• Investigación centrada en el desarrollo de circuitos lógicos reversibles que minimizan la disipación de energía, en línea con el principio de Landauer.

• Plantea nuevas estrategias de diseño lógico para alcanzar un consumo energético ultra eficiente en operaciones digitales.

"Reversibility for Efficient Computing" Michael Patrick Frank. Tesis doctoral, Departamento de Ingeniería Eléctrica y Ciencias de la Computación, Instituto Tecnológico de Massachusetts (MIT), 1999.

Lagarto I: Plataforma Abierta para Arquitectura de Microprocesadores

• Presenta un microprocesador soft-core diseñado en Verilog HDL, destinado a la educación e investigación, facilitando la comprensión del diseño lógico a nivel de hardware.

• Permite a los estudiantes y profesionales experimentar con el diseño lógico en un entorno real y práctico.

"Lagarto I – Una plataforma hardware/software de arquitectura de computadoras para la academia e investigación" Cristóbal Ramírez, César Hernández, Carlos Rojas Morales, Gustavo Mondragón García, Luis A. Villa, Marco A. Ramírez. Publicado en Research in Computing Science, vol. 137, pp. 19-28, 2017.

Diseño Lógico de Redes: Estrategias Innovadoras en Conectividad

• Aplica principios de diseño lógico en la planificación y configuración de redes de datos, asegurando el cumplimiento de normas y la optimización de la infraestructura.

• Demuestra cómo el diseño lógico se extiende al área de telecomunicaciones, mejorando la eficiencia y la gestión de recursos.

"Reversible Computing" Michael P. Frank. Entrada en Encyclopedia of Complexity and Systems Science, Springer, 2009.