See here. Whitequark is not maintaining this API. I can make a bugreport for this. https://github.com/nmigen/nmigen/pull/399 <https://github.com/nmigen/nmigen/pull/399> Yehowshua