Optimization Techniques For Distributed Logic Simulation