protocol_standard · 6 menciones
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
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
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 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
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 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
mmo-chip es una herramienta de código abierto diseñada para revertir la ingeniería de circuitos integrados a partir de fotografías del dado (die shots), con un enfoque particular en chips CMOS de matriz de puertas y células estándar (gate array y standard cell). Permite importar y trocear imágenes d
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
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
Jane Street ha publicado un nuevo puzzle técnico en el que invita a la comunidad a realizar ingeniería inversa de un ASIC (circuito integrado de aplicación específica) partiendo únicamente de su archivo GDS, la máscara final que describe cada polígono, capa de metal y transistor del chip, sin etique
ao486 es un núcleo de procesador escrito en Verilog que reproduce las características de un Intel 486 SX y se acompaña de un SoC completo capaz de arrancar Linux 3.13 y Windows 95. El modelado y las pruebas se basaron en la implementación x86 del emulador Bochs, y el SoC integra el procesador junto
OpenAI ha revelado que utilizó sus propios modelos de lenguaje grandes (LLM) para acelerar el diseño de Jalapeño, su primer chip de aceleración de IA, logrando pasar de la primera arquitectura a la fabricación en menos de 20 meses. El chip ofrece hasta 13,4 petaflops de cómputo de 4 bits y reduce la
XLS (Accelerated HW Synthesis) es una herramienta de síntesis de alto nivel que genera diseños sintetizables en Verilog y SystemVerilog a partir de descripciones funcionales flexibles. Desarrollado por Google, este SDK está diseñado para la era del fin de la Ley de Moore, facilitando la colaboración
Kjartan van Driel y Leander Post detallan el proceso seguido para resolver el puzle de ingeniería inversa de un chip ASIC publicado por Jane Street. El reto parte de dos archivos: un layout en formato GDS y un fichero VCD con un caso de prueba de entrada y salida esperada. El GDS describe polígonos
El video 'Designing Silicon From Scratch' de Breaking Taps ofrece una guía técnica detallada sobre la creación de un microprocesador personalizado. Este recurso educativo explica el flujo de trabajo completo para diseñar hardware digital, desde la definición de la arquitectura hasta la síntesis físi
