QUALIFICATION RECORD · IP-2019
Physical Actuation Transaction Engine
Atomic multi-actuator prepare/validate/commit/fallback engine
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.
- Source
- Bible v7.42 VERIFIED V29, IP-2019; 68.1 Standalone synthesized IP (table 723, row 9).
- Process
- Release-specific / not generalized
- PDK
- Release-specific / not generalized
- External qualification
- Not asserted by this website release