Automating Technology Relative Logic Synthesis and Module Selection | IEEE Journals & Magazine | IEEE Xplore