I found the cause of the bug and submitted a pull request to fix it: cause: https://github.com/nmigen/nmigen/issues/429#issuecomment-657304913 pull request: https://github.com/nmigen/nmigen/pull/430 Jacob