Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: Warnings от ISE
Форум разработчиков электроники ELECTRONIX.ru > Программируемая логика ПЛИС (FPGA,CPLD, PLD) > Работаем с ПЛИС, области применения, выбор
Rock87
Имеем ISE 13.3, пишем на VHDL. При синтезе следующего кода
CODE

library IEEE;
use IEEE.STD_LOGIC_1164.ALL;
use IEEE.STD_LOGIC_ARITH.ALL;
use IEEE.STD_LOGIC_UNSIGNED.ALL;
library UNISIM;
use UNISIM.VComponents.all;

entity rrd3_top is
Port (
G1_CLK : in STD_LOGIC; --Тактовый сигнал доп. генератора 10 МГц
EXT_LED_N : out STD_LOGIC_VECTOR (5 downto 0) --Управление светодиодами
);
end rrd3_top;

architecture Structural of rrd3_top is

signal clk1 : STD_LOGIC := '0'; --Тактовый сигнал доп. генератора 10 МГц

signal led_n : STD_LOGIC_VECTOR (5 downto 0) := (others => '1');--Управление светодиодами

signal counter: std_logic_vector (31 downto 0):=(others=>'0');-- объявляем сигнал counter в котором будем считать тики генератора
signal led_temp: std_logic:='0'; -- триггер выходного сигнала led
signal clr_count: std_logic:='0'; -- сброс счетчика при совпадении компаратора
begin

ibufg_clk1 : ibufg port map(clk1,G1_CLK); -- 10 MHz
obuf_led_gen: --светодиоды
for i in 0 to 5 generate
obuf_led : obuf port map(EXT_LED_N(i),led_n(i));
end generate;

count: process(clk1, clr_count) -- процесс"СЧЕТЧИК"
begin
if(clr_count='1') then -- если нажата кнопка reset или сигнал сброса счетчика установлен в 1
counter <= (others=>'0'); -- обнуляем счетчик
elsif(rising_edge(clk1)) then -- если нет, то по фронту сигнала clk считаем тики генератора
counter <= counter + 1;
end if;
end process;

comp: process(counter) -- процесс"КОМПАРАТОР"
begin
if(counter= 5) then -- если счетчик = уставке
clr_count<='1'; -- активируем сигнал сброса счетчика
led_temp<=not led_temp; -- переключаем триггер выходного сигнала
else
clr_count<='0'; -- иначе "на всякий" обнуляем сигнал сброса
end if;
end process;

led_n(0)<=led_temp;

end Structural;


Имеем следующее предупреждение от ISE

CODE

Xst:737 - Found 1-bit latch for signal <led_temp>. Latches may be generated from incomplete case or if statements.
We do not recommend the use of latches in FPGA/CPLD designs, as they may lead to timing problems.


Я понял так: синтезатору не нравится неопределенность следующей конструкции

CODE

if(counter= 5) then -- если счетчик = уставке
clr_count<='1'; -- активируем сигнал сброса счетчика
led_temp<=not led_temp; -- переключаем триггер выходного сигнала
else
clr_count<='0'; -- иначе "на всякий" обнуляем сигнал сброса
end if;

Т. е. led_temp<=not led_temp при counter=5, а вот чему равен led_temp при counter(не равно)5 фиг его знает.
Вопрос.
Правильно ли я понял и во что это может вылиться? Вообще насколько критичны предупреждения выдаваемые компилятором?
Mad_max
Забавный Вы sm.gif
Сказано же было, что led_temp не триггер в вашем исполнение.
Синтезатор вам тоже самое сказал.
Как решить проблему смотрите в своем предыдущем посте.
dsmv
Компилятор сказал совершенно правильно - получилась защёлка. Это плохой стиль и компилятор выдал предупреждение. Разумеется его можно игнорировать, если такая конструкция сделана сознательно и все последствия Вам ясны.

Что есть плохого - процесс comp зависит только от counter, и при переключение counter возможны ложные срабатывания. Здесь возможно два варианта - либо добавить ветку else - тогда получаем комбинационную схему. Либо ставим rising_edge( clk ) и получаем синхронный D-триггер. Второй вариант мне нравиться больше.




Rock87
to Mad_max
Цитата(Mad_max @ Apr 17 2012, 19:08) *
Забавный Вы sm.gif
Сказано же было, что led_temp не триггер в вашем исполнение.
Синтезатор вам тоже самое сказал.
Как решить проблему смотрите в своем предыдущем посте.

По поводу триггера понял, спасибо. По поводу кода, который Вы предложили:
CODE

USE IEEE.STD_LOGIC_1164.ALL;
USE IEEE.STD_LOGIC_ARITH.ALL;
USE IEEE.STD_LOGIC_UNSIGNED.ALL;

entity Example1 is
Port (
clk : in STD_LOGIC; -- входной сигнал генератора
led : out STD_LOGIC); -- выходной сигнал на светодиод
end Example1;

architecture Behavioral of Example1 is
signal counter: std_logic_vector (31 downto 0):=(others=>'0');-- объявляем сигнал counter в котором будем считать тики генератора
signal led_temp: std_logic:='0'; -- вспомогательный сигнал
signal clr_count: std_logic:='0'; -- сигнал сброса счетчика при совпадении компаратора
signal end_count: std_logic:='0';
begin

count: process(clk, clr_count) -- процесс"СЧЕТЧИК"
begin
if(clr_count='1') then -- если сигнал сброса счетчика установлен в 1
counter <= (others=>'0'); -- обнуляем счетчик
elsif(rising_edge(clk)) then -- если нет, то по фронту сигнала clk считаем тики генератора
counter <= counter + 1;
end if;
end process;

end_count <= '1' when (counter = 5) else '0'; --компаратор

process(clk) -- выходной триггер
begin
if (rising_edge(clk)) then
led_temp <= end_count;
end if;
end process;

clr_count <= led_temp; -- сигнал сброса

led<=led_temp; -- соединяем led_temp с выходным сигналом led
end Behavioral;

Логика работы этого кода отлична от заданной (мигание светодиодом). К примеру вот результат моей программы:
Нажмите для просмотра прикрепленного файла Нажмите для просмотра прикрепленного файла

Вот Ваш вариант

Нажмите для просмотра прикрепленного файла Нажмите для просмотра прикрепленного файла
Или я чего-то не понял или неверно изложил? Тогда прошу поправить меня.
На всякий ссылка на предъидущий пост

to dsmv
Цитата(dsmv @ Apr 17 2012, 19:13) *
Компилятор сказал совершенно правильно - получилась защёлка. Это плохой стиль и компилятор выдал предупреждение. Разумеется его можно игнорировать, если такая конструкция сделана сознательно и все последствия Вам ясны.

Что есть плохого - процесс comp зависит только от counter, и при переключение counter возможны ложные срабатывания. Здесь возможно два варианта - либо добавить ветку else - тогда получаем комбинационную схему. Либо ставим rising_edge( clk ) и получаем синхронный D-триггер. Второй вариант мне нравиться больше.

Попробовал второй вариант.
CODE

comp: process(counter) -- процесс"КОМПАРАТОР"
begin
if(rising_edge(clk)) then
if(counter= 5) then -- если счетчик = уставке
clr_count<='1'; -- активируем сигнал сброса счетчика
led_temp<=not led_temp; -- переключаем вспомогательный сигнал
else
clr_count<='0'; -- иначе "на всякий" обнуляем сигнал сброса
end if;
end if;
end process;

Синтезеатор снял свое предупреждение, спасибо.
andrew_b
Цитата(Rock87 @ Apr 18 2012, 11:34) *
Попробовал второй вариант.
Этот вариант неправильный.
Цитата
Синтезеатор снял свое предупреждение
В неправильном коде это ни о чём не говорит.
Mad_max
Код
entity test is
    port (    
        clk    : in std_logic;
        reset : in std_logic
    );
end test;


architecture test_arch of test is    

signal counter : std_logic_vector(7 downto 0);
signal led_temp    : std_logic;        
signal nled_temp : std_logic;        
signal clr_count : std_logic;
signal clr_count_d : std_logic;


begin
    
    count: process(clk)
    begin
        if (rising_edge(clk)) then
            counter <= counter + 1;
        elsif (reset='0' or clr_count='1') then
            counter <= (others=>'0');
        end if;
    end process;

    
    clr_count_d <= '1' when (counter = 4) else '0';

    process(clk)
    begin
        if (rising_edge(clk)) then
            clr_count <= clr_count_d;
        end if;    
    end process;
                
    nled_temp <= not(led_temp);    
        
    process(clk)
    begin
        if (rising_edge(clk)) then
            if ( reset = '0' ) then
                led_temp <= '0';
            elsif ( clr_count = '1' ) then
                led_temp <= nled_temp;
            end if;    
        end if;
    end process;

end architecture;

Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Invision Power Board © 2001-2025 Invision Power Services, Inc.