what production of silicon carbide devices are