AVPGEN-A test generator for architecture verification | IEEE Journals & Magazine | IEEE Xplore