@orion3311 works fine but only for timing analysis, not really designed for state analysis.