A Design for Efficient Simulation of a Multiprocessor