plasma etcher
[ˈplæzmə ˈetʃə]
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.