improving functional verification