24/12/2025
LUBIS EDA is heading into year 6: motivated, focused, and excited 🎄
First of all, we would like to thank everyone who has worked with us, challenged us, or supported us.
We wish you a wonderful Christmas season, peaceful days with your loved ones, and a healthy and inspiring start into the new year. 🎆
What comes next❓
The stakes in our industry are higher than ever. Compute is the bottleneck. Not ideas. Not talent. Compute. And every major innovation in the coming decade depends on chips that deliver more performance with less power, much faster than before.
To support that future, verification needs a fundamental shift. The old craft cannot scale to what is now required. The only way to meet future verification demand is to rethink how formal verification is done. Expertise that sits in people’s heads must become systems that teams can rely on. Knowledge into executable workflows is no longer optional; it is the path forward.
This is the work we continue in year six. In 3–4 years, all engineering work will change. Formal verification will move from artisanal craft to governed system. Our goal is to help define how that work gets done. Not speeding up the old way but creating the new one.
Lets do it, thank you all, and a merry Christmas. 😊