Functional verification, in
electronic design automation, is the task of verifying that the
logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, and takes the majority of time and effort in most large electronic system design projects. Functional verification is a part of more encompassing
design verification, which, besides functional verification, considers non-functional aspects like timing, layout and power.