Symbolic Computation of NF of Transistor Circuits