Live briefing
Everything about Intelligent verification
Electronic design automation verification technique
Intelligent Verification, including intelligent testbench automation, is a form of functional verification of electronic hardware designs used to verify that a design conforms to specification before device fabrication. Intelligent verification uses information derived from the design and specification(s) to expose bugs in and between hardware IPs. Intelligent verification tools require considerably less engineering effort and user guidance to achieve verification results that meet or exceed the standard approach of writing a testbench program. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Intelligent verificationA 5-minute orientation
- Skim a recent paper: Trust in ESG reporting: The intelligent Veri-Green solution for incentivized verificationInfluential work since 2022
- Pick up a classic book: The Seventeen Provers of the WorldThe most-reprinted book on the subject
- Read the landmark paper: Verification of distributed control systems in intelligent manufacturingCited 83 times
- Go sideways: Functional verificationA closely related topic
- Go sideways: Hardware description languageA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Verification of distributed control systems in intelligent manufacturing
Verification and Validation of Intelligent Vehicles: Objectives and Efforts From China
Software simulation and verification to increase the reliability of Intelligent Environments
Symbolic verification of event–condition–action rules in intelligent environments
Testing Intelligence: Accelerating the Verification and Validation of Intelligent Vehicles
A survey on verification strategies for intelligent transportation systems
Experimental verification of intelligent fault detection in rotor blades
Fast Group Verification System for Intelligent Robot Service
🆕 Influential since 2022
Trust in ESG reporting: The intelligent Veri-Green solution for incentivized verification
Intelligent Jamming Against Dynamic Spectrum Access User: Algorithm Design and Verification System Implementation
Improving clinical performance of urine sediment analysis by implementation of intelligent verification criteria
Constructing conditional PKEET with verification mechanism for data privacy protection in intelligent systems
Intelligent Quran Recitation Recognition and Verification: Research Trends and Open Issues
📚 Books worth reading
The Seventeen Provers of the WorldFreek Wiedijk · 2006
Verified Software : Theorie, Tools, ExperimentsErnie Cohen, Andrey Rybalchenko · 2014- 📕Capability of the United States to monitor compliance with the START II TreatyUnited States. Congress. Senate. Select Committee on Intelligence. · 1996
Computer aided verificationEd Brinksma · 2002
Specification and Verification of Multi-agent SystemsMehdi Dastani · 2010
Hardware and Software: Verification and TestingArmin Biere · 2013
Systems and Software VerificationBéatrice Bérard · 2001- 📕Engineering dependable software systemsGermany) NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 Marktoberdorf · 2013
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Functional verification Functional verification is the task of verifying that a logic design conforms to specification. Functional verification attempts to answer the question…
- 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…
- SystemVerilog SystemVerilog, standardized as IEEE 1800 by the Institute of Electrical and Electronics Engineers (IEEE), is a hardware description and hardware verification…
- E (verification language) e is a hardware verification language (HVL) which is tailored to implementing highly flexible and reusable verification testbenches. e was first developed…
- Aldec Aldec, Inc. is a privately owned electronic design automation company based in Henderson, Nevada, providing software and hardware used in creation and…
- Specman Specman is an EDA tool that provides advanced automated functional verification of hardware designs. It provides an environment for working with, compiling…
- High-level verification High-level verification (HLV), or electronic system-level (ESL) verification, is the task to verify ESL designs at high abstraction level, i.e., it is…
- Catapult C Catapult C Synthesis, a commercial electronic design automation product of Mentor Graphics, is a high-level synthesis tool, sometimes called algorithmic…