A tunnel FET compact model including non-idealities with verilog implementation. (December 2018)