Browse all content in Verification Academy: Articles, Cookbooks, Resources, Sessions, and Tracks

Topic

Assertions (2)

Machine Learning (2)

Content Type

Resource (3)

Webinar (1)

Audience

Intermediate (4)

Resource Type

Verification Horizons Blog (2)

Slides (.PDF) (1)

Tags

AI/ML (4)

LLMs (4)

Large Language Models (4)

Artificial Intelligence (2)

Artificial Neural Network (2)

Assertions (2)

Components (2)

Formal Assertion-Based Verification (2)

Formal Verification (2)

Generative AI (2)

Hallucination (2)

Hardware Designs (2)

Machine Learning (2)

Properties (2)

RTL (2)

SVA (2)

SystemVerilog (2)

Universal Approximation (2)

Big Data (1)

Show Less

New White Papers!

Formal, Avery VIP, Coverage, UPF, Functional Safety and More!

DV Digest on YouTube

AI is Changing Verification | Interview with Abhi Kolpekwar

HLS Webinar

Wednesday, Nov 05th-8:00 AM PST

Formal Verification of Synthesizable C++/SystemC Designs

VHDL Webinar

Wednesday, Nov 12th-8:00 AM PST

Don't Let VHDL Debugging Slow You Down! Use Questa One Sim

User2User

Nov. 19th | 0800 - 1630 US/Eastern

Mid-Atlantic 2025 | Johns Hopkins University | Laurel, Maryland

Verification Academy Live

Scottsdale, AZ | Dec. 3rd - 9:30 - 5:00 US/MST | Top Golf

Browse all content in Verification Academy: Articles, Cookbooks, Resources, Sessions, and Tracks

Search Results - 4 results

Filters

July 2025

Generating SystemVerilog Assertion (SVA) Properties with Property Assist

Generating SystemVerilog Assertion (SVA) Properties with Property Assist

June 2023

Decoding LLM Hallucinations: Insights and Taming them for EDA Applications

February 2023

Big Data for Verification – Inspiration from Large Language Models