Logic
Simulazioni logiche di un contatore e di un bus I2C
Due schemi simulati direttamente dalle loro netlist: un 74HC161 che conta in un 74HC138, e un bus I2C open-drain catturato da un 74HC595.
counter fa funzionare un 74HC161 in un 74HC138 e verifica le uscite del decoder a tempi impostati e la conta a ogni fronte di salita.
i2c è un bus open-drain: un controller costruito con due 74LVC1G07, un target che porta SDA a basso per il suo ACK con un 74LVC1G06, pull-up da 4,7k e un 74HC595 pilotato da SCL che cattura il byte. La simulazione verifica START, i bit, l'ACK, il byte e STOP.
Aprilo
git clone https://github.com/v0l/agentee
cd agentee/examples/logic
agentee check
agentee view