Jim Kukula manages the formal design verification team in the Advanced Technology Group at Synopsys. He joined Synopsys in 1996. From 1982 until 1992 Jim worked in the corporate CAD development group at IBM. His main activities there were in formal verification, sequential synthesis, parallel processing, and CAD databases. Jim has a Bachelor's degree from Princeton University and a Master's from the University of Pennsylvania, both in physics.
Email address: firstname.lastname@example.org
|You are not logged in|
|©2002-2017 U.C. Regents|