$1.6 billion granted to Texas Instruments