Operation model with carrier-density dependent mobility for amorphous In–Ga–Zn–O thin-film transistors