In reply to chr_sue:
I like how you describe it as “verification requirements elaborated from the design requirements”. This was mindset I was leaning towards.
When they describe it as a subset of design functionality, I believe they are referring to the fact that you could always add more verification requirements; you cannot verify everything for any non-simple design.
thanks for the response.