Skip to main content
VLSI Korea

Knowledge / ip

Pattern-Guided Arithmetic Optimizations with MLIR per-op

tt_um_lledoux_s3fdp_seqcomb · ttihp04_ieee754_perop

urn:vlsi:entity:4bfbca78-56f7-5635-b61f-df5fc609a94c

Clear dates

A source-reported date is a historical snapshot. Unknown validity is excluded when a date is selected. “Known to VLSI” uses the end of that UTC day. This entity’s heading uses its current label.

Recorded relationships

SUPPORTED1 evidence record · Revision 1

Pattern-Guided Arithmetic Optimizations with MLIR per-opListed in shuttleTiny Tapeout IHP 0p4

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

Validity dates not established

Why are these connected? Inspect evidence and history

Evidence index 85/100 · A rule-based index, not the probability this claim is true. 1 independent source origin(s).

The source establishes a scoped registry listing or documented integration at its observed revision. Publication, Git commit, retrieval and shuttle labels do not establish a relationship validity period.

Tiny Tapeout IHP 0p4 official shuttle registry ↗

Tiny Tapeout official registry · Tier A · Primary source · supports

Evidence summary: The Tiny Tapeout IHP 0p4 registry lists this repository at submitted revision 98097f9ef0c98ebe1fdd838e27f3643b78983e3f, under module tt_um_lledoux_s3fdp_seqcomb.

Location: projects[27]: repository, commit and macro

Published: not stated · Retrieved: 2026-10-13 · Extraction: deterministic-adapter

Only original factual paraphrases, selected registry identity/revision/module metadata, source-byte hash and links are published. Complete source documents are not redistributed. Included code, libraries, PDKs and manufacturing use retain separate terms.

First observed by VLSI: 2026-10-14T00:04:17.018Z. No independent human verification recorded.

Review: 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.

Full claim history →

Report a correction with source evidence →