Title: Computer aided design of digital systems