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.

My CV

Some recent papers

BerkMin web page

Equivalence checking is unsolvable even in a practical sense?

Some benchmarks

Phone number: 1-617-820-6982

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