したがって、ラッチの概念は理解していますが、else 条件はこのプロセスで考えられるすべてのパスをカバーする必要があるため、ここでラッチをどのように推測しているのかわかりません。Quartus は、LATCH プリミティブが原因で greenLED と redLED を無効にしていること、およびそれらに推測されたラッチがあることを教えてくれます。ここで何か不足していますか？
process(current,advance,playerWins,dealerWins) begin
if(advance) then
case current is
when START =>
deal <= '1';
dealTo <= '1';
dealToCardSlot <= "00";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when PT1 =>
deal <= '1';
dealTo <= '1';
dealToCardSlot <= "01";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when DT1 =>
deal <= '1';
dealTo <= '0';
dealToCardSlot <= "00";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when PT2 =>
deal <= '1';
dealTo <= '1';
dealToCardSlot <= "10";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when PT3 =>
deal <= '1';
dealTo <= '1';
dealToCardSlot <= "11";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when DT2 =>
deal <= '1';
dealTo <= '0';
dealToCardSlot <= "01";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when DT3 =>
deal <= '1';
dealTo <= '0';
dealToCardSlot <= "10";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when DT4 =>
deal <= '1';
dealTo <= '0';
dealToCardSlot <= "11";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when WIN =>
deal <= '0';
dealTo <= '0';
dealToCardSlot <= "00";
if(playerWins) then
greenLeds <= (others => '1');
elsif(dealerWins) then
redLeds <= (others => '1');
else
greenLeds <= (others => '0');
redLeds <= (others => '0');
end if;
when ENDGAME =>
deal <= '0';
dealTo <= '1';
dealToCardSlot <= "00";
greenLeds <= (others => '0');
redLeds <= (others => '0');
when others =>
deal <= '0';
dealTo <= '0';
dealToCardSlot <= "00";
greenLeds <= (others => '0');
redLeds <= (others => '0');
end case;
else
deal <= '0';
dealTo <= '0';
dealToCardSlot <= "00";
greenLeds <= (others => '0');
redLeds <= (others => '0');
end if;
end process;