A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage