---
title: Counterexample Packet Fabric qualification | Garmo Labs
url: https://garmolabs.com/qualification/ip-ip-2018
description: Garmo Labs chips, software and semiconductor IP.
---

QUALIFICATION RECORD · IP-2018

# Counterexample Packet Fabric

Bounded causal counterexample capture and transport

[Product page](https://garmolabs.com/ip/counterexample-packet-fabric-ip-2018) [Request exact-release review](https://garmolabs.com/contact?products=ip-ip-2018)

## 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

### Qualification boundary

Evidence shown is our record for this canonical implementation, not a fresh tool rerun. External foundry acceptance, silicon measurements, standards certification and unlisted interface/physical parameters are not inferred. Exact delivery and rights are agreed before licensing.

Missing process, library, OS, tool or certification data is not inferred from family-level claims.