At Pure Silicon, our strength lies in our experts, who turn complex verification challenges into elegant solutions. Get to know Lead Formal Verification Engineer Antonio Anastasio Bruto da Costa in the following Q&A!
1. What’s your current focus area at Pure Silicon, and what types of projects or developing technologies are you most excited about right now?
I'm always focused on further upskilling in #formalverification to be better equipped to tackle problems I’ve never seen before. This often means applying my skills to “practice IP” to explore niche aspects of digital IP verification. In parallel, I create content to make formal verification more approachable for a range of audiences in the #semiconductor space. I’m also evaluating emerging #AI‑assisted formal verification tools, which I believe will play a transformative role in the future of verification.
2. What’s one engineering challenge you’ve solved recently that you’re especially proud of?
I verified a #controller that interacted with multiple memories. The key was developing a #verification solution that didn’t require instantiating the memories themselves. This approach significantly accelerated #convergence. Beyond the technical win, I also focused on documenting the solution in a way that was clear not only for my team but also for customers—turning a complex problem into a teachable resource.
3. How do you see chip design or verification evolving over the next few years?
I see formal verification becoming increasingly central to #chipdesign over the next few years. As designs grow in complexity, #simulation alone won’t be enough to guarantee correctness. What excites me is the convergence of formal methods with AI assistance. Instead of replacing engineers, I believe AI will act as a force multiplier, helping us explore state spaces faster, generate assertions, and even suggest abstractions we might not have considered. This shift could democratize formal verification, making it more accessible to #engineers who may not have specialized in it, and ultimately raising the baseline of verification quality across industry.
4. What’s one tool, method, or mindset that you think gives engineers an edge in tackling complex #SoC or IP verification problems?
The ability to compartmentalize. Breaking down an IP’s function into manageable categories makes it less overwhelming to formally model. By simplifying the problem space, you not only make progress faster, but also build confidence in the correctness of each piece before scaling up to the full design.
5. When you’re not deep in waveforms or code, what do you enjoy doing outside of work?
I enjoy playing the piano and exploring Birmingham, England—a city with more canals than Venice! I also love cooking, and lately I’ve been experimenting with vegan cuisine. Re‑imagining traditional Goan and Indian dishes in plant‑based form has become a creative passion of mine.