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