Comparisons and analysis of massively parallel SIMD architectures for parallel logic simulation | IEEE Conference Publication | IEEE Xplore