Post by Siemens EDA (Siemens Digital Industries Software)

Congratulations to the best presentation winners at User2User North America!   🥇 1st place  "Enabling formal verification at scale: an agentic AI-driven approach to RTL bring-up, documentation, and property creation and verification" Nirmala Balakrishnan | Tsavorite Scalable Intelligence A methodology for teams new to formal verification — using the Questa One agentic toolkit with LLM-based RTL documentation, lint, and automatic property generation to expand verification coverage without proportional increases in staffing or training requirements. 🥈 2nd place  "Multi-die SSN architecture using source-synchronous timing for high-speed test delivery"  Brian Griesbach | Microsoft A source-synchronous SSN architecture for multi-die designs that addresses clock skew, floorplan constraints, and timing closure challenges — simplifying package-level signoff while improving flexibility over conventional loop-timed approaches.   🥉 3rd place  "Building flexibility, agility, and automation into a complete Aprisa flow"  Scott Krueger & Alejandro Hernández | Microchip Technology Inc. A collaborative effort with Siemens to build a unified place-and-route flow in Aprisa — adaptable to project-specific libraries, corners, and metal stacks — with automation focused on improved time to flow maturity, ease of use, and fast turnaround across multiple internal projects. Thank you to everyone who presented and attended!