Welcome to the Web Page of Eugene Goldberg

    Hi! My name is Eugene (Evgueni) Goldberg. For 11 years I worked at Cadence Berkeley Labs. Currently, I am a researcher at Northeastern University.
My interests are efficient algorithms for computationally hard problems in the area of hardware synthesis and hardware/software testing and verification.

Partial quantifier elimination



Some benchmarks


BerkMin web page

Email address: e u . l a s t _ n a m e A T g m a i l . c o m

A few of my favorite self-quotes