resolve issues in async sim: must not drive async clock from sim.add_clock