Calculate the setup slack for a critical path given the following parameters: Clock Period = 10.0 ns, Launch Clock Path Delay = 1.2 ns, Capture Clock Path Delay = 1.7 ns, Tcq = 2.0 ns, Tcomb = 5.0 ns, and Flip-Flop Tsetup = 1.0 ns.
Explanation: The Data Arrival Time (DAT) = Launch Delay + Tcq + Tcomb = 1.2 + 2.0 + 5.0 = 8.2 ns. The Data Required Time (DRT) = Capture Delay + Period - Tsetup = 1.7 + 10.0 - 1.0 = 10.7 ns.
Setup Slack = DRT - DAT = 10.7 - 8.2 = +2.5 ns.
