Constraint synthesis for environment modeling in functional verification.