Вопрос по описанию констрейна. Опции

[Iptash]

Здравствуйте все.
Как правильно описать констрейн?

Код

module XX ( input clk, input IN_1);

next_mod YY (
                  .clk(clk),
                  .IN_1(IN_1)
                  );
endmodule

module next_mod (input clk, input IN_1);
  always @ (posedge clk) begin
      if(IN_1) begin
        ...
       end
endmodule

здесь нужно описать максимальную задержку сигнала со входа IN_1 до if(IN_1) в модуле next_mod.

Код

set_max_delay -from [get_ports {IN_1}] -to [get_??? {IN_1}] 5ns

с порта куда? (-to [get_???(IN_1}])

[Iptash]

Практически, при измерении временных данных с заполнением 5МГц, если не вскармливать данный констрейн, результаты хаотично прыгают. С констрейном все отлично. На сколько
я помню если делать set_max_delay -from [get_ports {IN_1}] -to [get_pins {IN_1|combout}] (скорее всего вот так правильно), то тоже все нормально. Поэтому и вопрос как же все таки правильно?

[winipuh]

Практически, при измерении временных данных с заполнением 5МГц

Зачем практически? TimeQuest же есть!

Вот, смотрите

Код

"tst.v"
module tst (input clk, input en1, input en2, output dout);
    reg d;
    always @(posedge clk)
        if (en1 & en2) d <= ~d;
    assign dout = d;
endmodule

"test.sdc
derive_clock_uncertainty
create_clock -period 50MHz -name {clk} [get_ports {clk}]

Собираем проект, запускаем в квартусе Tools->Netlist Viewers->Technology Map Viewer (Post-Mapping)

Отсюда получаем, что нужно прописать задержку от портов en1 и en2 до входа триггера - имя триггера (cell) "d".
Соответственно полное имя пины будет d|d (см. статьи des00 - ссылка выше)
В данном примере это можно сделать такими способами:
1) set_max_delay -from [get_ports {en*}] -to [get_pins {d|d}] 5.0
2) set_max_delay -from [get_ports {en*}] -to [get_registers {d}] 5.0

Чтобы вывести репорт о величине задержке (для данного примера), используйте в консоли TimeQuest-а следующие команды:
report_path -from [get_ports {en*}] -to [get_pins {d|d}] -panel_name "bla-bla )))" - выводит максимальную задержку
report_path -from [get_ports {en*}] -to [get_pins {d|d}] -min_path -panel_name "bla-bla )))" - выводит минимальную задержку

Попробуйте сначала вывести репорт, когда в sdc-файле не задана max_delay.
Потом задайте max_delay, пересоберите проект и посмотрите репорт опять. Убедитесь, что квартус Ваше желание удовлетворил (или вывел предупреждение, что он Ваше желание понял, но выполнить не смог ).
Можно таким же макаром задать min_delay и посмотреть, как квартус реагирует на ваши хотелки.

хмм... Интересно, а почему TimeQuest не выдает предупреждений, если требование по max_delay не выполняется?
set_max_delay -from [get_ports {en*}] -to [get_pins {d|d}] 2.0
TimeQuest рапортует, что максимальная задержка "From node en1 To node d|d" составляет 2.277 нс. Однако никаких предупреждений по этому поводу не выводит...
Нужен des00!!!


Попутно вопрос - а зачем Вы используете констрейнт set_max_delay? Какие условия задачи и какие цели? Ведь здесь не учитывается задержка клока...

Сообщение отредактировал winipuh - Nov 5 2012, 15:01

[Iptash]

Спасибо. Осталось далее поизучать до полного понимания процессов, что-куда-и зачем.

Попутно вопрос - а зачем Вы используете констрейнт set_max_delay? Какие условия задачи и какие цели? Ведь здесь не учитывается задержка клока...

Задача, точное измерение периодов. Задержку клока не учитываю, потому что его переод очень мал по отношению ко вх. сигналу. Во всяком случае работает нормально. А вот
вх. сигналы без задания констрейнов, так не работает.

[winipuh]

вх. сигналы без задания констрейнов, так не работает.

Я так понимаю, что входной сигнал асинхронный по отношению к клоку в ПЛИС? Против метастабильности цепочку триггеров поставили? Потому что тогда величина задержки уже ни на что влиять не будет.

Сообщение отредактировал winipuh - Nov 5 2012, 16:32