Logic
Simulações lógicas de um contador e de um barramento I2C
Dois esquemas simulados diretamente a partir das respetivas listas de redes: um 74HC161 a contar para um 74HC138, e um barramento I2C de dreno aberto capturado por um 74HC595.

O counter aplica relógio a um 74HC161 para um 74HC138 e verifica as saídas do decodificador em tempos definidos e a contagem em cada flanco de subida.
O i2c é um barramento open-drain: um controlador construído com dois 74LVC1G07, um destino que puxa SDA para baixo para o seu ACK com um 74LVC1G06, pull-ups de 4,7k, e um 74HC595 com relógio por SCL que captura o byte. A simulação verifica START, os bits, o ACK, o byte e STOP.
Abrir
git clone https://github.com/v0l/agentee
cd agentee/examples/logic
agentee check
agentee view