Understanding Self-timed Circuits