GitHub repository: oxidecomputer/tockilator
Primary language: Rust
Description: Deducing Tock execution flows from Ibex Verilator traces