Text this: Accurate multiple input switching solution for static timing analysis