Welcome to Eugene Goldberg's Web Page

    I am a researcher at Cadence Berkeley Labs. My main interests are efficient algorithms for computationally hard problems with emphasis on CAD applications.

Some recent papers

BerkMin's web page

Equivalence checking is unsolvable even in a practical sense?

A few of my favorite self-quotes