changing some assigns to always_comb