Conception de soc à base d horloges abstraites