SPICE Modeling of Double-Gate Tunnel-FETs Including Channel Transports | IEEE Journals & Magazine | IEEE Xplore