High-Speed Logic Simulation on Vector Processors | IEEE Journals & Magazine | IEEE Xplore