Element 'functional verification'