computer software which generates models for the physical behavior of integrated circuits