Automating the design of computer systems | IEEE Journals & Magazine | IEEE Xplore