Boosting Domain-Specific Debug Through Inter-frame Compression. - Zakary Nafziger; Martin Chua; Daniel Holanda Noronha; Steven J. E. Wilton (FPT, 2022)

Chronbench: An Incremental HDL Benchmark Suite. - Zakary Nafziger; Steven J. E. Wilton (FCCM, 2025)