Architecture summaries, executable examples and release provenance. Understand what was evaluated—and the exact boundary of the result.
The playground executes this source without modifying the engine. Public inputs are bounded; results retain input and output digests.
The playground executes this source without modifying the engine. Public inputs are bounded; results retain input and output digests.
These public summaries describe the selected product record. Full controlled evidence is delivered through a scoped review.
Our records show integrated chip/model semantic checks and a 150,000-check LAVI-S130 reference campaign. Logical chip-top, proof-core and OpenFrame wrapper source are present.
Review the boundaryOur records show source integration, controlled donor provenance and executed architecture/reference-model campaigns. Integrated SoC HDL, synthesis, formal, DFT and physical qualification remained pending at the recorded cutoff.
Review the boundaryOur records show the HIVE SoC as IP-4708 and binds the family to 117 reference, structural and artifact checks. HDL/CAD closure and mixed-signal physical qualification remained pending at the recorded cutoff.
Review the boundaryArchitecture and reusable technology are recorded in the controlled catalog. Request the exact release evidence for your intended integration.
Review the boundaryImplementation-backed architecture and source are recorded. Later records show an AWS-validated repair of the SKYRA M0 SKY130 capability/security path.
Review the boundaryThe later R1.0 record identifies KMJ-X130 as signoff-complete and ChipIgnite package-ready. Its controlled release is distinct from broader family roadmap configurations.
Review the boundaryThe later R1.0 record identifies MSR-X130 as signoff-complete and ChipIgnite package-ready, with controlled physical/signoff reports and release hashes.
Review the boundarySource implementation, software execution, physical signoff and measured silicon do not establish the same thing.
Request controlled evidence