Auditable claim record

Pattern-Guided Arithmetic Optimizations with MLIR kulisch bf16 · listed in shuttle

Tiny Tapeout IHP 0p4 · SUPPORTED

urn:vlsi:claim:d92a5275d9f68de204e981981cac311797debc2165c81b8dbabdaf2b5e9f68f0

Official registry lists this repository, submitted revision and module. The listing does not establish fabrication, manufacture, validation or measured results.

Back to Pattern-Guided Arithmetic Optimizations with MLIR kulisch bf16 → · Complete history as JSON · JSON-LD

Evidence

Tiny Tapeout IHP 0p4 official shuttle registry ↗

The Tiny Tapeout IHP 0p4 registry lists this repository at submitted revision 3d09ea34a07a1ea99f86396fd467492ede94ea61, under module tt_um_lledoux_bf16_diminished_kulisch.

Tiny Tapeout official registry · projects[30]: repository, commit and macro · supports

Published date unknown · Retrieved 2026-10-13T23:58:54.643Z

urn:vlsi:evidence:ae9e16d6ca230d7e405ecdc05ab667ae079e4ac55d2ca39c4f2ddeab50dd1f7a

Assessment history

New assessments preserve earlier records. A correction changes the current interpretation without rewriting what VLSI knew before it.

Recorded assessments, oldest first
Revision	Recorded at (UTC)	Status	Validity	Reviewer & reason
1	2026-10-14T00:04:17.018Z	SUPPORTED	unknown unknown	checked-catalog-source-adapter (adapter) Evidence ingested by official-registry-and-pinned-documents/1.0.0. Explicit upstream evidence only. No fabrication, validation, successful tapeout, measured performance, arbitrary-version interoperability or production qualification is inferred.