Tutorial - Linear static analysis of a latch by tgreenban...