Magma or Mantle Should Require Explicitly Handling Unused Output Ports
Opened this issue · 0 comments
David-Durst commented
If an output is unwired in CoreIR, it complains. CoreIR has a Term operator that I've ported to Mantle (https://github.com/phanrahan/mantle/blob/master/mantle/coreir/type_helpers.py#L4). All Magma/Mantle backends should complain.