Berkeley Logic Synthesis and Verification Group

The Berkeley Logic Synthesis and Verification Group (BLSV) is a research team at UC Berkeley focused on improving how digital circuits—like computer chips—are designed, tested, and verified. They develop advanced tools and methods to create more efficient, reliable, and secure hardware. Their work helps reduce costs, speed up development, and ensure devices function correctly before they are manufactured. Essentially, BLSV advances the technology behind the computers and electronics we rely on daily, by making the design process more effective and trustworthy.