Optimization Techniques For Distributed Verilog Simulation