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
- God would have made the man much more perfect if he had not been bound to maintain compatibility with the monkey.
- The probability theory is an elegant way to make an infinite number of wrong assumptions.