Intractability in linear switch-level simulation | IEEE Journals & Magazine | IEEE Xplore