Parallel mixed-level simulation of digital circuits using virtual time · Study