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.|
BerkMin web page
Equivalence checking is unsolvable even in a practical sense?
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