CTL and Its Usage in the EDA Industry | IEEE Journals & Magazine | IEEE Xplore