You could get away with this using the first set of equations, since the latches are probably fairly well matched in speed, but a clock signal generated in this way is just asking for trouble. One quick and dirty solution would be to use the timer's clock as a qualifier for the state machines clock to synchronize everything to the system clock. The purchasing agent from the company Engineer Johnny works for contracted with Discount PCB Routing Inc. to route Johnny's latest design. The green traces are component side. Red traces are solder side.
Gray lines are silkscreen.
Blue traces indicate copper is on both sides of the board. A couple of problems exist with this layout. The most obvious is the fact that the ground pin on U2 shares a return path with a fast, high-current pulse circuit. This voltage is added to the signal induced on the ground pin of U2. This will reduce noise margins and may induce a large enough voltage to trigger the TRIG input on U2.