semiconductor devices, software for controlling semiconductor devices, and software representations of semiconductor devices