Modular Requirementsfor Digital Logic Simulation