software · 8 menciones
El proyecto Video2NAND demuestra que el códec de vídeo VP8 puede usarse como sustrato para simular lógica combinatoria, una idea que hasta ahora se exploraba sobre transistores o silicio. El artículo explica cómo los mecanismos de predicción de bloques del códec —diseñados para comprimir vídeo— se r
Un compilador de memoria es la herramienta que traduce parámetros de diseño (profundidad, anchura, número de puertos) en un macro de SRAM listo para fabricar, incluyendo todas las vistas que necesitan los flujos de verificación e implementación de chips. A diferencia de un compilador tradicional que
MorphoHDL es un lenguaje de descripción de hardware (HDL) minimalista y funcional, diseñado por Alexander Mordvintsev (Google, en el marco del proyecto Paradigms of Intelligence), que permite especificar circuitos digitales mediante recursión estructural. La idea central es tratar los circuitos como
Un usuario ha logrado construir un perceptrón funcional dentro del editor de escenarios de Age of Empires II, el videojuego de estrategia en tiempo real. El proyecto parte de una puerta lógica NAND operativa implementada con los elementos del propio juego, y escala hasta un circuito de entrenamiento
El Generador de CRC es una herramienta de línea de comandos diseñada para automatizar la creación de código de hardware para algoritmos de detección de errores CRC (Cyclic Redundancy Check). Su importancia radica en agilizar el desarrollo de sistemas digitales, permitiendo a ingenieros de hardware y
El diseño de hardware está experimentando una revolución impulsada por la inteligencia artificial, específicamente por los modelos de lenguaje grandes (LLMs). Sin embargo, generar directamente código RTL (Register-Transfer Level), el lenguaje de bajo nivel para describir circuitos digitales, con LLM
El proyecto pic0rick lanza una nueva plataforma de ultrasonido de bajo costo diseñada para simplificar el desarrollo de sistemas de adquisición de ecografías. El dispositivo utiliza el microcontrolador RP2040 de Raspberry Pi (doble núcleo Cortex-M0+ a 133 MHz), reemplazando los diseños anteriores ba
Este artículo explora el concepto de un "lenguaje de programación perfectible", ejemplificado por Lean. La idea central es que un lenguaje perfectible no solo permite escribir código, sino también expresar propiedades sobre ese código dentro del propio lenguaje. Esto abre la puerta a la verificación
