Techniques for the simulation of large-scale integrated circuits | IEEE Journals & Magazine | IEEE Xplore