1. List of all the Redhawk variables and input used during VectorLess analysis:
􀁸 STA (instance slew, switching window information): The time at which an instance
may switch during a dynamic simulation is determined by its switching timing window as
given in the timing file provided to RedHawk from a STA data-base.