Title: The exploitation of parallelism in logic simulation