WRITINGTESTBENCHES FunctionalVerificationofHDLModels