circt
circt copied to clipboard
[FIRRTL] Verify enabled layers of module, extmodule.
- Verify specified symbols resolve for extmodule
- Verify specified symbols resolve to LayerOp's
- Verify public modules don't enable circuit-disabled layers. (SpecializeLayers will delete if so)