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