실제 코드로 보는 고신뢰성 설계 💻

VHDL이나 Verilog 같은 하드웨어 기술 언어로 고신뢰성 회로를 어떻게 설계하는지 간단한 예제를 통해 살펴볼게요! 🔍

삼중 모듈 중복(TMR) 구현 예제

-- VHDL로 구현한 TMR(Triple Modular Redundancy) 예제
library IEEE;
use IEEE.STD_LOGIC_1164.ALL;

entity TMR_Module is
    Port ( input : in  STD_LOGIC;
           clk   : in  STD_LOGIC;
           output : out STD_LOGIC);
end TMR_Module;

architecture Behavioral of TMR_Module is
    signal module1_out, module2_out, module3_out : STD_LOGIC;
begin
    -- 세 개의 동일한 모듈 인스턴스화
    Module1: process(clk)
    begin
        if rising_edge(clk) then
            module1_out <= input;
        end if;
    end process;
    
    Module2: process(clk)
    begin
        if rising_edge(clk) then
            module2_out <= input;
        end if;
    end process;
    
    Module3: process(clk)
    begin
        if rising_edge(clk) then
            module3_out <= input;
        end if;
    end process;
    
    -- 다수결 투표 로직
    Voter: process(module1_out, module2_out, module3_out)
    begin
        -- 2개 이상이 같은 값을 가지면 그 값을 출력
        if ((module1_out = module2_out) or (module1_out = module3_out)) then
            output <= module1_out;
        else
            output <= module3_out;  -- module2와 module3가 같은 경우
        end if;
    end process;
end Behavioral;

위 코드는 하나의 입력 신호를 세 개의 동일한 모듈로 처리하고, 그 결과를 다수결 투표로 결정하는 TMR 구현이에요. 하나의 모듈이 오작동해도 나머지 두 개가 정상이면 올바른 결과를 출력할 수 있어요! 😎

오류 검출 및 수정(ECC) 구현 예제

-- VHDL로 구현한 간단한 해밍 코드 ECC 예제
library IEEE;
use IEEE.STD_LOGIC_1164.ALL;

entity Hamming_ECC is
    Port ( data_in  : in  STD_LOGIC_VECTOR(3 downto 0);  -- 4비트 데이터
           encoded  : out STD_LOGIC_VECTOR(6 downto 0);  -- 7비트 인코딩 (4 데이터 + 3 패리티)
           data_out : out STD_LOGIC_VECTOR(3 downto 0)); -- 오류 수정된 데이터
end Hamming_ECC;

architecture Behavioral of Hamming_ECC is
    signal encoded_data : STD_LOGIC_VECTOR(6 downto 0);
begin
    -- 해밍 인코딩 (7,4) 코드
    encoded_data(0) <= data_in(0);
    encoded_data(1) <= data_in(1);
    encoded_data(2) <= data_in(2);
    encoded_data(4) <= data_in(3);
    
    -- 패리티 비트 계산
    encoded_data(3) <= data_in(0) xor data_in(1) xor data_in(3);
    encoded_data(5) <= data_in(0) xor data_in(2) xor data_in(3);
    encoded_data(6) <= data_in(1) xor data_in(2) xor data_in(3);
    
    -- 인코딩된 데이터 출력
    encoded <= encoded_data;
    
    -- 디코딩 및 오류 수정 (실제로는 더 복잡하지만 간략화함)
    data_out(0) <= encoded_data(0);
    data_out(1) <= encoded_data(1);
    data_out(2) <= encoded_data(2);
    data_out(3) <= encoded_data(4);
    
    -- 참고: 실제 구현에서는 여기서 오류 검출 및 수정 로직이 추가됨
end Behavioral;

이 코드는 4비트 데이터를 7비트로 인코딩하는 해밍 코드 구현이에요. 추가된 패리티 비트 덕분에 1비트 오류를 검출하고 수정할 수 있어요! 메모리나 통신에서 많이 사용되는 기법이죠. 🧩