Verilog-A model of a high-k HfO2-Ta2O5 capacitor