Formal verifaction of latched inputs

3 jobs for formal in 52 seconds (queued for 1 second)
latest