Text this: A method for finding the critical path in VLSI circuits using the bounded gate delay model /