Parallel simulation by multi-instruction, longest-path algorithms · Study