Comparison of ABM SPICE library with Verilog-A for compact CNTFET model implementation