Functional verification is often focused on verification of the logical functions of the design. In recent years, requirements for better power performance has brought the power implementation aspect of design more into the functional verification side. Similarly, on the timing side the increased complexity of implementation, and clock complexity, as well as greater challenges for closing timing requires a closer look at the verification of the functional aspects of the design early on.
This article from Mentor Graphics describes why the relationship between the functional and timing side of equations in clock-domain crossing verification requires a close analysis of timing to gain accuracy and efficiency on the functional side.
Learn how T&VS describes the various areas of advancements required in functional verification for the future years.