Model Validation for Mixed-Signal Verification The Importance of Being Earnest about Modeling