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
Email address: e u . l a s t _ n a m e A T g m a i l . c o m