Fix a simulation bug: was using a blocking assignment in a synchronous block