Welcome to the Web Page of Eugene Goldberg
|
||
| Hi! My name is Eugene (Evgueni) Goldberg. I had been with Cadence Berkeley Labs for 11 years. At the end of 2008 I left Cadence and got a temporary research position at Northeastern University in 2009. My area of expertise in industrial terms is logic synthesis, test and verification. More academically, my interests are efficient algorithms for computationally hard problems with emphasis on applications of electronic CAD. |
Equivalence checking is unsolvable even in a practical sense?
Phone number: 1-510-528-3577
Email address: e u . l a s t _ n a m e A T g m a i l . c o m