@User: The fix I mentioned to Matt above is fixing a bug that is almost certain to show up somewhere in the extracted netlist for caravel, so it would be a good idea to update magic with the fix I made about an hour ago.