verify: cocotb datapath suite + 13 RTL fixes across gmii_cdc / eth_mac_rx / mii_tx_saf - #2

Merged

lcapossio merged 8 commits into

mainfrom

feat/cocotb-verification

Jul 29, 2026

Commits on Jul 23, 2026

verify: add cocotb directed+randomized suite (pilot: mii_tx_saf)
lcapossio
committed
165a78d
ci: install cocotb so PHASE 2 runs in CI instead of skipping
lcapossio
committed
068e0c6
verify: add eth_mac_rx cocotb suite (filter/error/backpressure)
lcapossio
committed
187802a

Commits on Jul 24, 2026

verify: add gmii_cdc cocotb suite; fix two paced-TX bugs
lcapossio
committed
e49d24e

Commits on Jul 25, 2026

verify: add gmii_cdc RX cocotb tests; fix two RX bugs
lcapossio
committed
15a0e3b

Commits on Jul 26, 2026