Text this: Buffer insertion in large circuits using look-ahead and back-off techniques /