Live briefing
Everything about Functional verification
Stage of electronic circuit design validation
Functional verification is the task of verifying that a logic design conforms to specification. Functional verification attempts to answer the question "Does this proposed design do what is intended?" This is complex 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. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Functional verificationA 5-minute orientation
- Skim a recent paper: Functional prediction of tomato PLATZ family members and functional verification of SlPLATZ17Influential work since 2022
- Pick up a classic book: Land surface temperature measurements from EOS MODIS dataThe most-reprinted book on the subject
- Read the landmark paper: Towards Large-scale Functional Verification of Universal Quantum CircuitsCited 106 times
- Go sideways: Intelligent verificationA closely related topic
- Go sideways: Integrated circuit designA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
Towards Large-scale Functional Verification of Universal Quantum Circuits
Constraint-based functional design verification for conceptual design
Aeneas: Rust verification by functional translation
A Survey of Hybrid Techniques for Functional Verification
Properties Incompleteness Evaluation by Functional Verification
Full functional verification of linked data structures
Functional Equivalence Verification Tools in High-Level Synthesis Flows
AutoProof: auto-active functional verification of object-oriented programs
🆕 Influential since 2022
Functional prediction of tomato PLATZ family members and functional verification of SlPLATZ17
Functional verification and screening of protein interacting with the slPHB3
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications
Sugar Transporters in Plasmodiophora brassicae: Genome-Wide Identification and Functional Verification
Functional Verification of a RISC-V Vector Accelerator
📚 Books worth reading
- 📕Land surface temperature measurements from EOS MODIS dataZhengming Wan · 1993
- 📕The specification-based validation of Reliable Multicast ProtocolYunqing Wu · 1995
Gradle in ActionBenjamin Muschko · 2014- 📕Toward fidelity between specification and implementation · 1994
- 📕Summary of the US Army Corps of Engineers/US Environmental Protection Agency Field Verification ProgramRichard K. Peddicord · 1988
Verification, Induction, Termination AnalysisSimon Siegler · 2010
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Intelligent verification Intelligent Verification, including intelligent testbench automation, is a form of functional verification of electronic hardware designs used to verify…
- Integrated circuit design Integrated circuit design, semiconductor design, chip design or IC design, is a sub-field of electronics engineering, encompassing the particular logic…
- Logic simulation Logic simulation is the use of simulation software to predict the behavior of digital circuits and hardware description languages. Simulation can be performed…
- Hardware description language In computer engineering, a hardware description language (HDL) is a specialized computer language used to describe the structure and behavior of electronic…
- Hardware emulation In integrated circuit design, hardware emulation is the process of imitating the behavior of one or more pieces of hardware (typically a system under design)…
- System on a chip A system on a chip, or system on chip (SoC), is an integrated circuit that combines most or all key components of a computer or electronic system onto…
- Register-transfer level In digital circuit design, register-transfer level (RTL) is a design abstraction which models a synchronous digital circuit in terms of the flow of digital…
- Formal equivalence checking Formal equivalence checking process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits…