Перейти к содержанию
    

Verilog, управляющие сигналы триггера

Есть кусок следующего кода:

always @(posedge rx_outclock or negedge rx_locked or negedge rst_)
  begin
    if(~rst_)
      begin
        rx_locked_t <= 1'b0;
      end
    else
       begin
        rx_locked_t <= rx_locked;
       end
end

Смущает, что используется два управляющих сигнала rx_locked и negedge rst_. В качестве сброса используется один, а второй поступает на информационный вход, ну а подобных триггеров мне не известно.

Ну и квартус выдает предупреждение:

Critical Warning (10237): Verilog HDL warning at cntrl_.v(168): can't infer register for assignment in edge-triggered always construct because the clock isn't obvious. Generated combinational logic instea

Я в данный момент занимаюсь объединением нескольких модулей и этот кусок не мой, а влазить и переписывать код, а затем проверять его ну очень не хочется.

Вопрос: насколько критично предупреждение и можно ли подобную конструкцию все-таки реализовать на триггере?

Заранее спасибо.

Изменено пользователем bogaev_roman

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Может проблемма не в Verilog, а в кристалле, который вы используете. У него нет тригеров с тремя входами синхронизации, вот и ругается, что уложить не может, только как комбинаионную схему.

Изменено пользователем st232bd

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

по-моему, это ошибка предыдущего разработчика. На всякий случай, если можете, посмотрите какая была реализация в оригинальном проекте (и предупреждение, если было). Но, я думаю, можно убрать "negedge rx_locked" и получить FF в чистом виде.

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Смущает, что используется два управляющих сигнала rx_locked и negedge rst_. В качестве сброса используется один, а второй поступает на информационный вход, ну а подобных триггеров мне не известно.

 

По-хорошему так, как описано в коде, вообще не делается. Если сигнал rx_locked - асинхронный, то его нужно сначала синхронизировать с rx_outclock:

 

reg rx_locked_a, rx_locked_s;

always @(posedge rx_outclock) rx_locked_a <= rx_locked;
always @(posedge rx_outclock) rx_locked_s <= rx_locked_a;

 

а затем сделать примерно так:

 

always @(posedge rx_outclock or negedge rst_)
begin
    if(!rst_) rx_locked_t <= 1'b0;
    else    rx_locked_t <= rx_locked_s;
end

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

negedge rx_locked

вот это выкидывай, явно ошибка разработчика, а не заметил он ее при отладке потому, что варнинги синтезатора не читал, а код потенциально рабочий, выстрелит раз в пятилетку, да и то на глюк спишут %)

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Смущает, что используется два управляющих сигнала rx_locked и negedge rst_.

 

Скорее всего он хотел aclr по negedge rx_locked

 

always @(posedge rx_outclock or negedge rx_locked or negedge rst_)
if(~rst_)                    rx_locked_t <= 1'b0;
else if(~rx_locked )    rx_locked_t <= 1'b0;
else                          rx_locked_t <= rx_locked;

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Всем Всем спасибо за советы, действительно сигнал negedge rx_locked там ни к чему, так и сказал, что варнигни не читал и просто ошибся :)

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

вот это выкидывай, явно ошибка разработчика, а не заметил он ее при отладке потому, что варнинги синтезатора не читал, а код потенциально рабочий, выстрелит раз в пятилетку, да и то на глюк спишут %)

 

Почему потенциально рабочий?

 

Там же вообще триггера не будет. Или Вы думаете, что автор кода его и не хотел?

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Почему потенциально рабочий? Там же вообще триггера не будет. Или Вы думаете, что автор кода его и не хотел?

Хоть и не телепат, но мне кажется что этот триггер и был синхронизатором, а потом этот сигнал locked шел на какой нить статусный регистр, читаемый раз в пятилетку в еще один регистр какого нибудь проца. Метастабильность проц даже не увидит, а выстрелить такой код сможет только в случае когда кто нить повесит на него прерывание по фронту и будет долго ковырять почему схема при определенном положении звезд дает сбои %)

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Хоть и не телепат, но мне кажется что этот триггер и был синхронизатором, а потом этот сигнал locked шел на какой нит статусный регистр

Именно так оно и было :)

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Хоть и не телепат...

Именно так оно и было :)

 

Все-таки, телепат!  :)

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Там же вообще триггера не будет. Или Вы думаете, что автор кода его и не хотел?

Вот вам и verilog! В AHDL таких глупостей в принципе не бывает.

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Вот вам и verilog! В AHDL таких глупостей в принципе не бывает.

 

А вы с C знакомы?

 

Там вообще если написать

if( var = 5)

...

Будет не сравнение, а присвоение.

Ужасно тупой язык! В ассемблере такого нет!

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Вот вам и verilog! В AHDL таких глупостей в принципе не бывает.

Это не верилог такой, это разработчик такой. Может человек просто описался. :laughing:

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Просто логически неправильно подавать один и тот же сигнал rx_locked и на тактовый вход триггера, и на вход данных.

В AHDL "такую глупость" тоже никто не мешает сделать :)

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Присоединяйтесь к обсуждению

Вы можете написать сейчас и зарегистрироваться позже. Если у вас есть аккаунт, авторизуйтесь, чтобы опубликовать от имени своего аккаунта.

Гость
К сожалению, ваш контент содержит запрещённые слова. Пожалуйста, отредактируйте контент, чтобы удалить выделенные ниже слова.
Ответить в этой теме...

×   Вставлено с форматированием.   Вставить как обычный текст

  Разрешено использовать не более 75 эмодзи.

×   Ваша ссылка была автоматически встроена.   Отображать как обычную ссылку

×   Ваш предыдущий контент был восстановлен.   Очистить редактор

×   Вы не можете вставлять изображения напрямую. Загружайте или вставляйте изображения по ссылке.

×
×
  • Создать...