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.
Nothing has been published here yet. This is the beginning of the catalog, not the end of a search.