Logic
Logiksimulationen eines Zählers und eines I2C-Busses
Zwei Schaltpläne, direkt aus ihren Netlisten simuliert: ein 74HC161, der in einen 74HC138 zählt, und ein Open-Drain-I2C-Bus, der von einem 74HC595 erfasst wird.
counter taktet einen 74HC161 in einen 74HC138 und prüft die Dekoder-Ausgänge zu festen Zeitpunkten und den Zählstand bei jedem steigenden Taktflanke.
i2c ist ein Open-Drain-Bus: ein Controller aus zwei 74LVC1G07, ein Ziel, das SDA mit einem 74LVC1G06 für sein ACK tief zieht, 4,7k-Pull-ups und ein 74HC595, das vom SCL getaktet wird und das Byte erfasst. Die Simulation prüft START, die Bits, das ACK, das Byte und STOP.
Öffnen
git clone https://github.com/v0l/agentee
cd agentee/examples/logic
agentee check
agentee view