QUALIFICATION RECORD · IP-2018
Counterexample Packet Fabric
Bounded causal counterexample capture and transport
Public evidence basis
- Stage / release
- Executed digital evidence
- Evidence
- RTL exists; 46/0 simulation; BMC proved to depth 24; induction failed; generic synthesis top reported at 33,770 cells. Related to GARMO Silicon Time Machine but separate reusable deliverable.
- Process
- Release-specific / not generalized
- PDK
- Release-specific / not generalized
- External qualification
- Not asserted by this website release