Timing analysis and logic verification via user selectable multiple value logics