Как описать констрейн? Опции

[Iptash]

Здравствуйте все.
Есть вот такой код:

Код

always @ (posedge clock1) begin
    if(IN) begin
      if(!S1)
        zap <= 1'b1;
      dreb <= 7'd0;    
    end else if(dreb > 7'd100) begin
                zap <= 1'b0;
                S1 <= 1'b0;
             end  else begin
                dreb <= dreb + 1'b1;
                S1 <= 1'b1;
            end
end

где clock1 тактовый вход, IN это входной измеряемый сигнал, и zap соответсвенно формируется из этих сигналов и служит клоком для др. части программы.
Как описать этот констрейн?