Modeling of SiC transistor with counter-doped channel