@User: I've resorted to looking at the Calibre DRC decks, which flag devices that don't match the bins. But it would be nice to have a script to pull that information out because I don't think we have it written down in any of the public documentation. We purposely ignored the problem for a long time, because SkyWater promised that continuous models would be available soon. . . but that seems not to be the case. Meanwhile, the models have some serious discontinuities in them such that if you remove the "lmin/lmax" and "wmin/wmax" and draw any device you please, you can get really weird behavior in simulation. For the same reason of having been promised continuous models, I have not made any attempt to enforce the device bins in Magic. If I had a list, I could at least incorporate that into the Tcl scripts for drawing the devices, and it would be enforced there if not in manual layout.