The U.S. Department of Commerce announced that Texas Instruments – a semiconductor company headquartered in Dallas (you may have used…