From #63 research. We are using synchronized resets, so we should make sure the system is adequately set up to generate those. In essence this likely means changing some "deassert" to "both"