Semicoductor device modeling and simulation