Question: what is the difference between formal and functional verification?
Answer: The UVM is another form of functional verification that enables constraint-driven random stimulus that drives your design that is verified with some reference model. ... Formal verification is a form of functional verification that uses static analysis to prove design functionality, usually without requiring any stimulus.