---
title: Physical Actuation Transaction Engine qualification | Garmo Labs
url: https://garmolabs.com/qualification/ip-ip-2019
description: Garmo Labs chips, software and semiconductor IP.
---

QUALIFICATION RECORD · IP-2019

# Physical Actuation Transaction Engine

Atomic multi-actuator prepare/validate/commit/fallback engine

[Product page](https://garmolabs.com/ip/physical-actuation-transaction-engine-ip-2019) [Request exact-release review](https://garmolabs.com/contact?products=ip-ip-2019)

## Public evidence basis

Stage / release

Executed digital evidence

Evidence

RTL exists; 74/0 simulation; BMC + induction proved; generic synthesis top reported at 98,557 cells. Related to Garmo Safety Envelope Engine but distinct transactional semantics.

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.