Case studies
Every run ends in a report: what was checked, what it surfaced, and the numbers taken off the board. They are collected here, with the client's permission and without edits in my favour.
The first runs are free, and until one of them finishes there will be nothing here. An invented case study would be worth less than an empty page: the whole offer rests on the numbers being measured.
A full example report on my own design, with the same sections yours would get: bit-exact conformance, achieved timing, resources, latch-free check, and the commands to reproduce all of it.
Want to be the first? The first runs are free and the report is yours to publish or keep.