1. A method comprising: in a system determining a first constraint for constraining operation of a first portion of a block diagram model; determining if the first portion of the block diagram model violates the first constraint; and providing a user information based on the violating of the first constraint.