Welcome to the Web Page of Eugene Goldberg
|
||
| Hi! My name is Eugene (Evgueni) Goldberg. I have been with Cadence Berkeley Labs for 11 years. Recently I left Cadence and am looking for an academic position (or a position in industry if I cannot find one in academia). My area of expertise in industrial terms is logic synthesis, test and verification. In more academic terms, 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