retiming simulation