SMS dit: Switch-level timing simulation of MOS VLSI circuits /