Title: Parallel simulation of digital systems