[stephenmm]

It seems like you would need some sort of formal equivalence checking if that is the flow. Is there such a thing for Chisel?