 Plasma etcher

A plasma etcher, or etching tool, is a tool used in the production of semiconductor devices.A plasma etcher produces a plasma from a process gas, typically oxygen or a fluorine-bearing gas, using a high frequency electric field, typically 13.56 MHz.