Title: A study of parallel architectures and algorithms for logic simulation