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:

  • UCB CAD Seminar

  • Address:
    700 East Middlefield Road
    Mountain View, CA 94043-4033
    phone: 415-528-4711
    FAX: 415-694-1626

    Last Updated 3 March 95.

    All CADgroup People