uhdm2rtlil

uhdm2rtlil contains 1 collected skills from alainmarcel, with repository-level occupation coverage and site-owned skill detail pages.

alainmarcel profile View on GitHub

skills collected

Stars

updated

2026-06-20

Forks

Occupation coverage

Software Quality Assurance Analysts & Testers

1 occupation categories · 100% classified

repository explorer

Skills in this repository

creator/repo/skill

skill

occupation

description

updated

verify-uhdm-equivalence

software-quality-assurance-analysts-and-testers

Verify a UHDM-frontend test or fix is correct — runs the full pipeline (frontend workflow → thorough Verilator co-sim → formal equiv_induct → sound SAT-from-reset miter) and interprets the trichotomy verdict (real bug vs artefact vs inconclusive). Use after changing src/frontends/uhdm/ or adding/triaging a test, and whenever asked to "check equivalence", "make sure the cosim passes", or decide whether a divergence is a real frontend bug.

2026-06-20