A method of scaling and checking computer circuits | IEEE Journals & Magazine | IEEE Xplore