I have uploaded a white paper to the website. It discusses some of the concepts behind DEVSIM.
Symbolic Model Evaluation for TCAD Device Simulation