Skip to content
Juan Gonzalez-Gomez edited this page Jun 24, 2025 · 75 revisions

Circuito -001-Home

ðŸ”ĩ Navega por los circuitos Next ➡ïļ

Contenido

ICESTUDIO-DIGITAL

Listado de circuitos para Icestudio , comenzando desde los principios fundamentales

  • Explora los circuitos digitales, desde sus principios mÃĄs fundamentales, utilizando FPGAs Libres y Icestudio
  • Aprende electrÃģnica digital en FPGAs Libres desde lo mÃĄs bÃĄsico
  • Dibuja los circuitos en la herramienta Icestudio para practicar
COMIENZA POR AQUÍ

OrganizaciÃģn

Este proyecto estÃĄ organizado en circuitos. Cada circuito tiene un nombre y un nÚmero. Hay una pÃĄgina de la wiki por cada circuito. Cada circuito tiene una LÃĄmina o Ficha con un resumen de la informaciÃģn mÃĄs relevante: Dibujo del circuito, cronograma, pruebas... En la wiki de cada circuito se explican mÃĄs detalles del circuito y se encuentra informaciÃģn que relaciona cada circuito con sus dependencias

En todas las lÃĄminas hay un cÃģdigo QR que apunta a su pÃĄgina en la wiki

Ejemplos de nombres de circuitos: 001-ax-bit, 002-ax-bit0, 002-param-bitk... La Única excepciÃģn es la LÃĄmina 0: 000-ini, que no es un circuito como tal, sino donde se definen los conceptos iniciales

Cada circuito introduce conceptos nuevos, y utiliza conceptos definidos en circuitos previos. A estos circuitos los denominamos dependencias. Esto nos permite estudiar la evoluciÃģn de los conceptos, y seguir las pista a conceptos complicados para entender sus fundamentos

Los circuitos, al tener un nÚmero, estÃĄn ordenados linealmente. Esto nos permite listarlos y recorrerlos linealmente hacia adelante y hacia atrÃĄs, aprendiendo conceptos nuevos o revisando conceptos anteriores. En la ordenaciÃģn usada se garantiza que los circuitos con nÚmeros mayores siempre dependerÃĄn de los conceptos introducidos en circuitos de menor nÚmero, pero NUNCA al revÃĐs. Si estamos analizando el circuito N, estÃĄ garantizado que los conceptos de los que dependen estarÃĄn definidos en circuitos con nÚmero menor a N

MotivaciÃģn

Para aprender dibujo tÃĐcnico orientado a MecÃĄnica se emplean lÃĄminas ya terminadas que representan piezas. Los estudiantes las estudian para ver cÃģmo debe quedar el resultado final. Y las replican usando herramientas CAD para aprender su manejo. Por ejemplo, estas son las lÃĄminas que he migrado a FreeCAD para los estudiantes de MecatrÃģnica en la Escuela de Ingeniería de Fuenlabrada de la URJC: FreeCAD Mechanical

ÂŋPor quÃĐ no hacer algo similar con la ElectrÃģnica Digital? Ese es el objetivo de ICESTUDIO-DIGITAL. En las lÃĄminas se incluye, ademÃĄs del circuito, informaciÃģn adicional sobre el funcionamiento y las pruebas

Los fundamentos de las matemÃĄticas me apasionan. Me encanta entender cÃģmo, a partir de unos conceptos iniciales muy bÃĄsicos, se construyen los teoremas de la matemÃĄtica. Todo empieza a partir de unos pocos axiomas de la lÃģgica. En el proyecto Metamath han creado una herramienta para verificar teoremas. Y estÃĄn reconstruyendo las matemÃĄticas desde 0, desde sus principios mÃĄs fundamentales, enunciando los teoremas y verificÃĄndolos con su herramientas. Todo empieza incluso antes de los axiomas, con las primeras definiciones. Su viaje empieza en este enlace: Primera definiciÃģn: fÃģrmula bien formada

ÂŋNo sería increible tener algo parecido con ElectrÃģnica digital? Empezar por los elementos primitivos y construir circuitos reales que se sintetizan en una FPGA Libre. Son circuitos que podemos replicar y verificar fÃĄcilmente. Ir conociendo cÃģmo van apareciendo conceptos nuevos segÚn aumentamos su complejidad...

ICESTUDIO-DIGITAL es una mezcla de ambos mundos: el de ingeniería mecÃĄnica y el de las matemÃĄticas, pero aplicado a la ElectrÃģnica digital. Partir de los circuitos fundamentales (axiomas) presentados en forma de lÃĄminas o fichas visuales para que los estudiantes los entiendas, los repliquen en Icestudio (Nuestra herramienta CAD) y los prueben en una FPGA Libre real

CrÃĐditos

  • Metamath. ICESTUDIO-DIGITAL estÃĄ fuertemente inspirando en el proyecto Metamath. Por eso el logo tambiÃĐn estÃĄ inpirado en el de Metamath

Enlaces

Autor

Licencia

Clone this wiki locally