Physics-Based SPICE Model of a-InGaZnO Thin-Film Transistor Using Verilog-A