An efficient requirements-driven and scenario-driven verification flow