Constrained Diffusion Implicit Modelsim