Text this: Computer aided design of digital systems :