ํ์ธ๋ ์ฌ์์์ ์ถ๋ฐํด ์๋ ๊ฒํ ํญ๋ชฉ์ ํ์ฉํ์ธ์. ๊ฒํ ํญ๋ชฉ์ ์ค๊ณ ์ง์นจ์ด๋ฉฐ ์ด ์ ํ์ ๋น๊ณต๊ฐ RTL์ด๋ ๋ฌผ๋ฆฌ ๊ตฌํ์ ์ค๋ช
ํ๋ ๊ฒ์ ์๋๋๋ค.
01์ํฌ๋ก๋์ ํธ๋ํฝ ๋ชจ๋ธ
์ฝ์ด ์์ ๋ชฉํ ํด๋ก์ ์์กด์ฑยท์บ์ ๋ฏธ์คยท๊ณต์ ์์ ๊ฒฝํฉ์ ํฌํจํ ์ํฌ๋ก๋ ๋ชจ๋ธ๋ก ์ฐ๊ฒฐํ์ธ์. ์ฝ์ด ์๋ง์ผ๋ก IPC๋ ์ ํ๋ฆฌ์ผ์ด์
์ฒ๋ฆฌ๋์ด ๊ฒฐ์ ๋์ง๋ ์์ต๋๋ค.
02RTL ์ ์ ์ ํ ๊ณ์ฝ
๋ํ์ ์ธ ์์ฐ์-์๋น์ ๊ฒฝ๋ก๋ฅผ ๊ณ ๋ฅด๊ณ ์๋ฝ ์กฐ๊ฑดยท์์ยท๋ฐฑํ๋ ์
ยท๋ฏธ์๋ฃ ์์ฒญ ์ฉ๋ยท๋ฆฌ์
๋ณต๊ตฌ๋ฅผ ๋ช
์ธํ์ธ์. ๋ฐ์ดํฐํจ์ค๋ฅผ ์ต์ ํํ๊ธฐ ์ ์ ์ด ๊ณ์ฝ์ assertion๊ณผ ํ
์คํธ ์๋๋ฆฌ์ค๋ก ๋ฐ๊พธ์ธ์.
03์คํ ๊ฐ๋ฅํ ๋ฌผ๋ฆฌ์ค๊ณ
๋งคํฌ๋ก abstractยทํ ๋ฐฐ์นยทํ์ด๋ฐ ๋ผ์ด๋ธ๋ฌ๋ฆฌยทํ๋๋ ๊ธฐ๋ฐ ์ ๋ ฅ ์ถ์ ์น๋ฅผ ํ๋ณดํ์ธ์. ๋งคํฌ๋ก ์ธ์ ์ฑยท๋ฐฐ์ ์ฑ๋ยท์ ์ ์ฐ๊ฒฐ์ฑ์ ํจ๊ป ๊ฒํ ํด์ผ ํฉ๋๋ค. ์ฃผ์ ๋ค์ด ์ฌ์ง์ ๊ฒํ ์ง๋ฌธ์ ์ฐพ๋ ๋ฐ ์ ์ฉํ์ง๋ง ๋ท๋ฆฌ์คํธยทPDKยท์ฌ์ธ์คํ ์ ์ฝ์ ์ ๊ณตํ์ง๋ ์์ต๋๋ค.