FPGA-forum is a yearly event for the Norwegian FPGA community. FPGA-designers, project managers, technical managers, researchers, final year students and the major vendors gather for a two-day focus on FPGA. There will be presentations from the Norwegian industry about methodology and practical experience, – the universities will present new and exciting projects, and the vendors will have technical presentations with a minimum of marketing.

 

At the exhibition, you can evaluate tools and technology from the leading vendors. FPGA-forum also provides an excellent opportunity to meet and exchange experience with the Norwegian FPGA-community – during the breaks – and during the official dinner party on Wednesday.

 

 

 

We also want to invite you the to the presentation by Faïçal Chtourou, DVT Field Application Engineer:

 

Effortless Verification: How AI Supercharges Formal Methods with Questa One SFV

 

Abstract:

The marriage between AI and formal engines marks a significant shift in how static and formal verification are applied to complex hardware designs. Questa One SFV leverages AI to automate assertion generation, optimize solver orchestration, and reduce manual effort in verifying corner-case behaviors. By integrating multiple stimulus-free techniques into a unified flow, it enables broader adoption of formal methods without requiring deep expertise.

 

In this session we will explore how AI-enhanced formal verification improves scalability, efficiency, and accessibility in modern design environments. 

 

Check this link for the FPGA Forum Program.

 

Details

 

When

February 11 - 12, 2026

 

Where 

Royal Garden Hotel, Kjoepmannsgt. 73, Trondheim, 7010, Norway

 

Time

09:00 - 17:00 hr