Logic
Логические симуляции счётчика и шины I2C
Две схемы, симулированные напрямую по спискам цепей: 74HC161, считающий в 74HC138, и шина I2C с открытым коллектором, захватываемая 74HC595.
counter подаёт тактовые сигналы 74HC161 в 74HC138 и проверяет выходы дешифратора в заданные моменты времени, а также счёт на каждом фронте.
i2c это шина с открытым коллектором: контроллер на двух 74LVC1G07, приёмник, который тянет SDA вниз для ACK с помощью 74LVC1G06, подтягивающие резисторы 4,7 кОм и 74HC595, тактируемый SCL, который захватывает байт. Симуляция проверяет START, биты, ACK, байт и STOP.
Открыть
git clone https://github.com/v0l/agentee
cd agentee/examples/logic
agentee check
agentee view