Models
Things that produce or judge design work: RTL generators, PPA predictors, floorplanners, verification agents. Filed by role in the flow rather than by modality.
1 artifact
- snalabothu/inference-token-buffer-judge-recipe
Untrained recipe for evaluating ready/valid RTL repairs against a written contract and independent native checks. No weights or serving endpoint.
Pre-silicon verificationMIT7 downloads