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

[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 соответсвенно формируется из этих сигналов и служит клоком для др. части программы.
Как описать этот констрейн?

[Iptash]

Спасибо. Сигнал zap это внутренний регистр и этот модуль используется в нескольких каналах X, Y, Z.
Вот я описываю его так create_generated_clock -name zapX -source [get_ports {clock1}] -divide_by 2 [get_registers {chanel:chanel_X|zap}] и тайм квест его игнорирует. Вот я и
думаю как его описать как клок.

[maksimp]

Спасибо. Сигнал zap это внутренний регистр и этот модуль используется в нескольких каналах X, Y, Z.
Вот я описываю его так create_generated_clock -name zapX -source [get_ports {clock1}] -divide_by 2 [get_registers {chanel:chanel_X|zap}] и тайм квест его игнорирует.

А у вас не появляется предупреждение при работе таймквеста, что на один из фильтров нет совпадений? [get_ports {clock1}] или [get_registers {chanel:chanel_X|zap}] может легко промахиваться.
Особенно подозрительно то что zap это внутренний регистр, он его может не находить его в такой ситуации. Попробуйте например заменить [get_registers {chanel:chanel_X|zap}] на [get_registers {chanel:chanel_X|*}].