Branch of electronic design automation that models semiconductor fabrication and semiconductor device operation