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