Tom Shiple
- Research Scientist
- Advanced Technology Group, Synopsys,
Inc.
- Ph.D. October 1996, Electrical Engineering and Computer Sciences, University of California at Berkeley
- Advisor: Prof. Alberto Sangiovanni-Vincentelli
- Thesis: Formal Analysis of Synchronous Circuits, Abstract
Current Research Interests: VIS: Formal design verification , analysis of combinational cycles, logic synthesis of digital circuits.
Selected publications.
Other links:
- Address:
- 700 East Middlefield Road
- Mountain View, CA 94043-4033
- phone: 415-528-4711
- FAX: 415-694-1626
- e-mail:shiple@ic.eecs.berkeley.edu
Last Updated 3 March 95.
All CADgroup People