Trademarks owned by Tencor Instruments