QUALIFICATION RECORD · IP-2012
Per-Die Live PDK
Live silicon characterization/model-store/VF constraint deliverable
Public evidence basis
- Stage / release
- Executed digital evidence
- Evidence
- RTL exists; 82 simulation checks with 0 errors; BMC + induction proved; Yosys top garmo_live_pdk reported at 54,040 generic cells. Cross-link Kaldone-Garmo Grain without replacing it.
- Source
- Bible v7.42 VERIFIED V29, IP-2012; 68.1 Standalone synthesized IP (table 723, row 2).
- Process
- Release-specific / not generalized
- PDK
- Release-specific / not generalized
- External qualification
- Not asserted by this website release