Semiconductor device modeling for VLSI | lit.salon