Title: Automated design of digital multiplexers