CURRENT WEBSITE REFERENCE
v0.32.0
Source-bound evidence now connects the complete 256-input OpenTitan PWM firmware partition to six independently reconstructed RTL members, with exact public-source replay for Zephyr and OpenSBI.
INPUT DOMAIN
256 inputs
RTL MEMBERS
6 rebuilt
RTL TRANSITIONS
198 replayed
ZEPHYR CONTROLS
22,908 refused
These results apply only to the pinned sources, bounded callers, tools and observation windows. GCC remains an evaluation-ready research prototype, not a certified or production-qualified verification product.