We’re excited about FPGA-forum 2026, the yearly gathering for the Norwegian FPGA community in Trondheim on 11–12 February. It’s a great place for FPGA-designers, managers and researchers to share practical insights, see new technology and connect with peers.You’re invited to attend the presentation by Faïçal Chtourou, DVT Field Application Engineer at Siemens EDA, titled “Effortless Verification: How AI Supercharges Formal Methods with Questa One SFV”. He’ll talk about how AI can automate assertion generation, streamline verification flows and make formal methods easier to adopt in complex hardware designs.


