When is a functional verification required to be performed?