always@*  added instead of always@(state) in driver