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.
- Source
- Bible v7.42 VERIFIED V29, IP-2018; 68.1 Standalone synthesized IP (table 723, row 8).
- Process
- Release-specific / not generalized
- PDK
- Release-specific / not generalized
- External qualification
- Not asserted by this website release