Title: the design of digital systems