Formica
1920s (originally US): of unknown origin.
wiktionary
Genericization of trademark Formica, which came from mica, which was a commonly used insulating material that formica was initially intended to replace.
etymonline
Formica (1)
proprietary name (1922) of a product manufactured originally by Formica Insulation Co. of Cincinnati, Ohio, U.S. (founded 1913). According to the company, the material (originally marketed as an industrial insulator) was so called because it could be used for mica, i.e., in place of mica, a more expensive natural insulator. Primarily used in consumer goods since c. 1945.
Formica (2)
ant genus, 1843, from Latin formica "an ant," a dissimilation from PIE *morwi- "ant" (source also of Sanskrit vamrah "ant," Greek myrmex, Old Church Slavonic mraviji, Old Irish moirb, Old Norse maurr, Welsh myrion; and compare second element in pismire).