Mark Nadeski, Texas Instruments