A Computer-Aided System Approach to the Radiation Vulnerability of a Divide by Twenty Counter | IEEE Journals & Magazine | IEEE Xplore