functional verification - Verification Horizons

osmosis – our annual event for formal verification users – is coming-up on November 16!

October 26, 2023

Attention anyone interested in Formal Verification: We are thrilled to invite all formal verification enthusiasts to osmosis 2023, the premier…

By Joe Hupcey III

< 1 MIN READ

Decoding LLM Hallucinations: Insights and Taming them for EDA Applications

June 15, 2023

What are Large Language Model’s hallucinations. LLMs will be powerful EDA productivity tool once we know what caused it and how to deal with their adverse effects.

By Dan Yu

6 MIN READ

UVM Debug? Just nature doing what it does

Bent Tools and other Horrors From the Garden and UVM Debug – or Are You Still Debugging with $display?

May 24, 2023

I can’t take credit for the great flowers in the garden. It’s the tremendous rain we’ve had in California this…

By Rich Edelman

4 MIN READ

Big Data for Verification – Inspiration from Large Language Models

February 24, 2023

The importance of verification data learned from training Large Language Models. In DVCon will share an overview of ML applications in verification and . present VIQ tutorial on how data can empower verification, with demos of existing ML applications.

By Dan Yu

5 MIN READ