The entire modern economy runs on semiconductors, whose designs are one of the great marvels of engineering and FUs to entropy in human history.
Most of us don’t think a lot about how these chips work; we just enjoy the fruits of their (blazing, miraculous) labors—the software that sits on top and powers nearly everything we do.
And for those of us naive CS types whose last experience with EE was learning to build an adder, we assume that the semiconductors beneath our software are “always correct”. Silicon is deterministic, and the bits aren’t ever wrong, right?
Turns out it’s not that simple.
Chip-design organizations face growing pressure to do more with the same resources. As designs grow more complex, teams must move faster without lowering design quality. In the age of agentic chip design, verification is becoming the bottleneck, and AI cannot transform chip design when design and autonomous verification do not progress hand in hand. Solving this bottleneck before the chips are taped out (let alone shipped) is the work of TENX SEMI.
I’m proud to announce today that
@SPC and
@KhoslaVentures led TenX’s early funding. We’ve believed in their mission from the start.
The team of CEO SukHwan Lim (former EVP at Samsung, where he ran all US R&D for System LSI semiconductors), Subhasish Mitra (Stanford Professor and EE legend in robust and dependable computing and 3D nanotechnologies), and Shwetabh Verma (Broadcom, Apple, Cadence) is extraordinarily well-positioned for this business.
Subhasish’s foundational work transformed formal verification into a scalable, high-throughput reality. By shifting the paradigm toward automated consistency analysis, TenX Semi's autonomous verification platform uncovers bugs (including deep, hard-to-find long-tail bugs) without requiring additional test writing. The result is unprecedented speed and design quality, enabling teams to do far more with the same resources. At a top-ten semiconductor company, TenX Semi's platform uncovered critical bugs in a production design in less than two weeks, which would take many months to accomplish using business-as-usual practices.
Today, TenX Semi is advancing chip design by combining autonomous verification with AI-powered bug localization and fixing. In TenX Semi's vision, design and autonomous verification progress hand in hand, and bugs uncovered in the process are fixed autonomously.
Special thanks to Tathagata Srimani (T), co-founder and CTO of SPC portfolio company Flucta, for introducing me to the TenX team. Before T was a rising-star Professor at Carnegie Mellon, he studied under Subhasish.
The move from simulation to formal verification, and then to optimization and AI-assisted development, heralds an exciting new era for the semiconductor industry, the most critical infrastructure underpinning the entire AI era.