Deterministic Values

Values marked as ? which can either be 1 or 0 but we have no clue which one it could be at a given time

• This usually happens during race conditions for latchestodo specify which latches