Summer students<br> Dear Tom, I am a researcher at Fujitsu Labs in Santa Clara working in formal verification. Most likely, there is going to be a Summer internship  available here to work on formal verification in the context of high-level synthesis of hardware. I was wondering if you have any students interested in  such an internship. Thanks and best regards, - -- Sree =============================================================                     Sreeranga P. Rajan                Fujitsu Laboratories of America                 3350 Scott Blvd., Bldg. #34                   Santa Clara, CA 95054               e-mail: srajan@fla.fujitsu.com                    phone: (408) 567-4519                     fax: (408) 567-4515 ============================================================= ------- End of Forwarded Message  Next message: James Shin Young: "DAC"  Previous message: Sriram C. Krishnan: "CAD Sem.--Apr. 24--Pong on Verification of Cache-Coherent Shared-Memory Multiprocessor Systems" Workspaces ---- asves bear blast buildmaster caltrop cases compaan compose concurrency cosi dif diva dopcenter dopsysadmin eecsweb elab embedded embeddedadmin giotto hyinfo mescal metropolis mica mobies msgadmin mvsis nephest platform sec smartnets systems video webmaster wow 	 Â  	Â Â Note: JavaScript is disabled, see the Site Map for navigation links Â  You are not logged in Â©2002-2006 D.O.P. Ctr.