Semiconductor device modeling