Modeling undeposited CNTs for high performance design and the evaluation of reliable CNTFET circuits