์ด๊ฒ์ Ubuntu Online, Fedora Online, Windows ์จ๋ผ์ธ ์๋ฎฌ๋ ์ดํฐ ๋๋ MAC OS ์จ๋ผ์ธ ์๋ฎฌ๋ ์ดํฐ์ ๊ฐ์ ์ฌ๋ฌ ๋ฌด๋ฃ ์จ๋ผ์ธ ์ํฌ์คํ ์ด์ ์ค ํ๋๋ฅผ ์ฌ์ฉํ์ฌ OnWorks ๋ฌด๋ฃ ํธ์คํ ๊ณต๊ธ์์์ ์คํํ ์ ์๋ ๋ช ๋ น์ ๋๋ค.
ํ๋ก๊ทธ๋จ:
์ด๋ฆ
Covered - Verilog ์ฝ๋ ์ปค๋ฒ๋ฆฌ์ง ๋ถ์๊ธฐ
ํต์ฌ๋ก
์ ์ฉ [๊ธ๋ก๋ฒ ์ต์ ] ์ ์ [์ต์ ]
์ ์ฉ [๊ธ๋ก๋ฒ ์ต์ ] ๋ณํฉ [์ต์ ] ๊ธฐ์กด_๋ฐ์ดํฐ๋ฒ ์ด์ค ๋ฐ์ดํฐ๋ฒ ์ด์ค_๋ณํฉ+
์ ์ฉ [๊ธ๋ก๋ฒ ์ต์ ] ์ ๊ณ [์ต์ ] ๋ฐ์ดํฐ๋ฒ ์ด์ค_ํ์ผ
์ ์ฉ [๊ธ๋ก๋ฒ ์ต์ ] ์์ [์ต์ ] ๋ฐ์ดํฐ๋ฒ ์ด์ค_ํฌ_๋ญํฌ ๋ฐ์ดํฐ๋ฒ ์ด์ค_ํฌ_๋ญํฌ+
์ ์ฉ [๊ธ๋ก๋ฒ ์ต์ ] ์ ์ธ [์ต์ ] exclude_id+ ๋ฐ์ดํฐ๋ฒ ์ด์ค_ํ์ผ
๊ธฐ์
๋์ ๋ฐฉ๋ฒ์ ๊ฒฐ์ ํ๋ ๋ฐ ์ ์ฉํ ์ ์๋ Verilog ์ฝ๋ ์ปค๋ฒ๋ฆฌ์ง ๋ถ์ ๋๊ตฌ์ ๋๋ค.
์ง๋จ ํ ์คํธ ์ธํธ๊ฐ ํ ์คํธ ๋์ ์ค๊ณ๋ฅผ ๋ค๋ฃจ๊ณ ์์ต๋๋ค. ์ปค๋ฒ๋ ์ฝ๊ธฐ
์ง๋จ ์คํ์์ Verilog ๋์์ธ ํ์ผ ๋ฐ VCD, LXT2 ๋๋ FST ํ์์ ๋คํ ํ์ผ ๋ฐ
๋ค์์ ์ฌ์ฉํ์ฌ ์ปค๋ฒ๋ฆฌ์ง ์ค๋ช ๋ฐ์ดํฐ๋ฒ ์ด์ค(CDD) ํ์ผ์ด๋ผ๋ ๋ฐ์ดํฐ๋ฒ ์ด์ค ํ์ผ์ ์์ฑํฉ๋๋ค.
์ ์ ๋ช ๋ น. Covered์ ์ ์ ๋ช ๋ น์ ์ฌ์ฉํ์ฌ CDD ํ์ผ์ ์์ฑํ ์๋ ์์ต๋๋ค.
Covered๋ฅผ ํ ์คํธ๋ฒค์น์์ VPI ๋ชจ๋๋ก ์ฌ์ฉํ๊ธฐ ์ํ Verilog ๋ชจ๋
์๋ฎฌ๋ ์ด์ ๊ณผ ๋ณ๋ ฌ๋ก ์ปค๋ฒ๋ฆฌ์ง ์ ๋ณด(์ฐธ์กฐ ์ฌ์ฉ ์ํ AS A VPI MODULE).
๊ฒฐ๊ณผ CDD ํ์ผ์ ๋์ผํ ๋์์ธ์ ๋ค๋ฅธ CDD ํ์ผ๊ณผ ๋ณํฉํ์ฌ ์์ฑํ ์ ์์ต๋๋ค.
๋ณํฉ ๋ช ๋ น์ ์ฌ์ฉํ์ฌ ๋์ ๋ ์ปค๋ฒ๋ฆฌ์ง. CDD ํ์ผ์ด ์์ฑ๋๋ฉด ์ฌ์ฉ์๋ ๋ค์์ ์ํํ ์ ์์ต๋๋ค.
Covered๋ฅผ ์ฌ์ฉํ์ฌ ์ฌ๋์ด ์ฝ์ ์ ์๋ ๋ค์ํ ์ปค๋ฒ๋ฆฌ์ง ๋ณด๊ณ ์๋ฅผ ASCII ํ์์ผ๋ก ์์ฑํ๊ฑฐ๋
Covered์ GUI๋ ๋ณด๊ณ ๋ช ๋ น์ ์ฌ์ฉํ์ฌ ์ปค๋ฒ๋ฆฌ์ง ๊ฒฐ๊ณผ๋ฅผ ๋ํ์์ผ๋ก ๋ณผ ์ ์์ต๋๋ค. ๋ง์ฝ์
์ฌ์ฉ์๊ฐ ์ปค๋ฒ๋ฆฌ์ง์์ ์ ์ธํ๊ณ ์ ํ๋ ์ปค๋ฒ๋์ง ์์ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ๊ฐ ๋ฐ๊ฒฌ๋๋ฉด, ์ด๋
๋ช ๋ น์ค ์ ์ธ ๋ช ๋ น ๋๋ GUI ๋ด์์ ์ฒ๋ฆฌํด์ผ ํฉ๋๋ค. ์ฌ๋ฌ ๋
CDD ํ์ผ์ ๋์ผํ ๋์์ธ์ผ๋ก ์์ฑ๋๋ฉฐ, ์ฌ์ฉ์๋ ๋ค์์ ์ปค๋ฒ๋ฆฌ์ง ์์๋ฅผ ์ป์ ์ ์์ต๋๋ค.
ํ๊ท ํ ์คํธ๋ฅผ ์ํ ์ด์์ ์ธ ์์๋ฅผ ๊ฒฐ์ ํ๊ณ ์ดํดํ๊ธฐ ์ํ CDD ํ์ผ
์ ํญ๋ชฉ์ ์ ์คํ ์ ์๊ธฐ ๋๋ฌธ์ ํ๊ท์์ ์ ์ธํ ์ ์๋ CDD ํ์ผ
์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ. ๋ํ Covered์ ์ ์ ๋ช ๋ น์ ์ผ๋ถ๋ก ๊ฒฝ์ ์กฐ๊ฑด
๊ฐ๋ฅ์ฑ์ ๋์์ธ ํ์ผ์์ ๋ฐ๊ฒฌ๋๋ฉฐ ๋ฌด์ํ๊ฑฐ๋ ๊ฒฝ๊ณ ๋ก ํ์ํ ์ ์์ต๋๋ค.
๋๋ ์ค๋ฅ๋ก ํ์๋ฉ๋๋ค. ๊ฒฝํฉ ์กฐ๊ฑด์ ์ค๋ฅ๋ก ์ง์ ํ๋ฉด Covered๋ ์ฌ์ฉํ ์ ์์ต๋๋ค.
๊ฒฝ์ ์กฐ๊ฑด ๊ฒ์ฌ๊ธฐ๋ก.
๊ธ๋ก๋ฒ ์ต์
์ด ์ต์ ์ ํค์๋ ๋ฐ๋ก ๋ค์ ์์นํฉ๋๋ค. ์ ์ฉ ๋ช ๋ น์ค์์. ๊ทธ๋ค
๋ชจ๋ ๋ช ๋ น์ ์ฌ์ฉํ ์ ์์ต๋๋ค(์์ธ: -v ๊ณผ -h)์์ ๋์ผํ ํจ๊ณผ๊ฐ ์์ต๋๋ค.
๊ฐ๊ฐ์ ๊ฒฝ์ฐ.
-B ๋๋ ํ. ์ถ๋ ฅํ๊ธฐ ์ ์ ๋์์ธ์ ๋ฏผ๊ฐํ ๋ชจ๋ ์ด๋ฆ์ ๋๋ ์ฒ๋ฆฌํฉ๋๋ค.
์ฌ์ฉ์๊ฐ ์ฝ์ ์ ์๋ ํ์. ์ด ์ต์ ์ ์ถ๋ ฅ์ ๊ณต์ ํ ๋ ์ ์ฉํฉ๋๋ค.
๋๋ฒ๊น ๋ชฉ์ ์ผ๋ก Covered ๊ฐ๋ฐ์.
-D ๋๋ฒ๊ทธ. ๋๊ตฌ ๋ฌธ์ ๋๋ฒ๊น ์ ์ ์ฉํ ์ ๋ณด๋ฅผ ํ์ํฉ๋๋ค. ์ฐธ๊ณ : ์ด
์ต์ ์ ์ด์ --enable-debug๋ก covered์ด ๋น๋๋ ๊ฒฝ์ฐ์๋ง ์ฌ์ฉํ ์ ์์ต๋๋ค.
๊ตฌ์ฑ ์ต์ .
-h ๋๋ค. ์ด ์ฌ์ฉ ์ ๋ณด๋ฅผ ํ์ํฉ๋๋ค.
-P [ํ์ผ ์ด๋ฆ]
ํ๋กํ์ผ๋ง ๋ชจ๋. ์์ฑํ ๋ด๋ถ ์์ค ์ฝ๋ ํ๋กํ์ผ๋ฌ๋ฅผ ์ผญ๋๋ค.
์คํ ๋ช ๋ น์ ํ๋กํ์ผ๋ง ๋ณด๊ณ ์๋ฅผ ์ง์ ๋ ํ์ผ ์ด๋ฆ ๋๋ ๊ทธ๋ ์ง ์์ ๊ฒฝ์ฐ
ํ์ผ ์ด๋ฆ ๋ผ๋ ํ์ผ์ ์กด์ฌํฉ๋๋ค. ๋ฎ์ฌ.๊ต์. ์ด ์ต์ ์
๊ฒฝ์ฐ --enable-ํ๋กํ์ผ๋ง Covered๊ฐ ์์ ๋ ๊ตฌ์ฑ ์ต์ ์ด ์ง์ ๋์์ต๋๋ค.
์ธ์์ง.
-Q ์กฐ์ฉํ ๋ชจ๋. ๋ชจ๋ ์ถ๋ ฅ์ด ์ต์ ๋ฉ๋๋ค.
-T ๊ฐ๊ฒฐํ ๋ชจ๋. ๊ฒฝ๊ณ ๋ฅผ ์ ์ธํ ๋ชจ๋ ์ถ๋ ฅ์ด ์ต์ ๋ฉ๋๋ค.
๋ฉ์์ง ๋ฐ Covered ํค๋ ์ ๋ณด.
-v ๋ฒ์ . ํ์ฌ Covered ๋ฒ์ ์ ํ์ํฉ๋๋ค.
๋ช ๋ น
์ ์ Verilog ํ์ผ ๋ฐ VCD/LXT2/FST ๋คํ ํ์ผ์ ๊ตฌ๋ฌธ ๋ถ์ํ์ฌ ์ฌ์ฉ๋๋ ๋ฐ์ดํฐ๋ฒ ์ด์ค ํ์ผ ์์ฑ
๋ณํฉ ๋ฐ ๋ณด๊ณ .
๋ณํฉ ๋ ์ด์์ ๋ฐ์ดํฐ๋ฒ ์ด์ค ํ์ผ์ ํ๋๋ก ๋ณํฉํฉ๋๋ค.
์ ๊ณ ๋ฐ์ดํฐ๋ฒ ์ด์ค ํ์ผ์์ ์ฌ๋์ด ์ฝ์ ์ ์๋ ์ปค๋ฒ๋ฆฌ์ง ๋ณด๊ณ ์๋ฅผ ์์ฑํ๊ฑฐ๋ ์ปค๋ฒ๋ฆฌ์ง๋ฅผ ์์ํฉ๋๋ค.
GUI๋ฅผ ๋ณด๊ณ ํฉ๋๋ค.
์์ ํ๊ท๋ฅผ ์คํํ๊ธฐ ์ํ ์ด์์ ์ธ ์์๋ฅผ ์ง์ ํ๊ณ ๋ค์์ ์ง์ ํ๋ ๋ณด๊ณ ์๋ฅผ ์์ฑํฉ๋๋ค.
์๋ก์ด ์ ์ฉ ๋ฒ์ ์ ๋ณด๋ฅผ ์ถ๊ฐํ์ง ์๋ CDD ํ์ผ(๋ฐ๋ผ์ ์ ์ธ๋ ์ ์์)
์ํ๋ ๊ฒฝ์ฐ ํ๊ท์์).
์ ์ธ
ํ๋ ์ด์์ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ ํ์ฉ(๋ณด๊ณ ์์์ ์ ์ธ ID๋ก ์๋ณ๋จ)
-x ์ต์ ์ผ๋ก ์์ฑ๋จ) ์ ์ธ ์์ฑ์ด ํ ๊ธ๋๋๋ก(๋ค์์ ํฌํจ)
์ ์ธ ๋๋ ํฌํจํ๋ ค๋ฉด ์ ์ธ), ์ ์ธ ์์ฑ์ด ์ ์ธ๋ก ์ค์ ๋ ๊ฒฝ์ฐ
์ ํ์ ์ผ๋ก ์ ์ธ ์ด์ ๋ฅผ ์ฐ๊ฒฐํ๊ณ ์ ์ฅํ ์ ์์ต๋๋ค.
์ง์ ๋ CDD ํ์ผ.
SCORE COMMAND
๋ค์ ์ต์ ์ score ๋ช ๋ น์ ์ ํจํฉ๋๋ค.
-A ์ค๋ธ OVL ์ด์ค์ ์ด ์ด์ค์ ์ ์ฉ ๋ฒ์์ ์ฌ์ฉ๋๋๋ก ํฉ๋๋ค. ์ด ํ๋๊ทธ๋ฅผ ์ง์ ํด์ผ ํฉ๋๋ค.
๋ณด๊ณ ์์ ์ด์ค์ ์ปค๋ฒ๋ฆฌ์ง ๋ฉํธ๋ฆญ์ด ํ์ํ ๊ฒฝ์ฐ score ๋ช ๋ น์
๋ช ๋ น.
-CDD ๋ฐ์ดํฐ๋ฒ ์ด์ค
-o ์ต์ ๊ณผ ๋์ผํฉ๋๋ค. ์ฑ์ ์ค์ธ CDD ํ์ผ์ด ์ ์์ ๋ํ ์ ๋ ฅ์ผ ๋ ์ ์ฉํฉ๋๋ค.
๋ช ๋ น.
-ํด๋ฆฌ [ํ์ผ ์ด๋ฆ]
VCD/LXT2/FST ๋คํ ํ์ผ ์ฑ์ ์ค์ ๋ช ๋ น์ค ๋๋ฒ๊ฑฐ๊ฐ ์ฌ์ฉ๋๋๋ก ํฉ๋๋ค.
If ํ์ผ ์ด๋ฆ ์ด ์ง์ ๋๋ฉด ์ด ํ์ผ์๋ ์ด์ ํธ์ถ์์ ์ ์ฅ๋ ์ ๋ณด๊ฐ ํฌํจ๋ฉ๋๋ค.
CLI์์ ์ ์ฅํ๊ณ ์ด ํ์ผ์ ํฌํจ๋ ๊ธฐ๋ก์ด ์ฌ์๋๋๋ก ํฉ๋๋ค.
CLI ๋ช ๋ น ํ๋กฌํํธ ์ด์ . ๋ง์ฝ์ ํ์ผ ์ด๋ฆ ์ง์ ํ์ง ์์ผ๋ฉด CLI ํ๋กฌํํธ๊ฐ
์๋ฎฌ๋ ์ด์ ์์ ์ ์ฆ์ ์ฌ์ฉํ ์ ์์ต๋๋ค. ์ด ์ต์ ์
Covered๊ฐ ๋ค์๊ณผ ๊ฐ์ด ๊ตฌ์ฑ๋ ๊ฒฝ์ฐ --enable-๋๋ฒ๊ทธ ์ต์ ์ ์ ํํฉ๋๋ค.
-๋ณด์์ ์ธ
์ด ์ต์ ์ ์ง์ ํ๋ฉด ์ค๋ฅ๋ฅผ ์ ๋ฐํ ์ ์๋ ์ฝ๋๊ฐ ํฌํจ๋ ๋ชจ๋ ๋ ผ๋ฆฌ ๋ธ๋ก์ด
์ ์ฌ์ ์ผ๋ก ๋ถ์ ํํ ๋ณด์ฅ ๊ฒฐ๊ณผ๋ก ์ด์ด์ง๋ ๋ณด์ฅ ๋ถ์ผ์น๋
๋ณด์ฅ ๊ณ ๋ ค ๋์์์ ์ ์ธ๋์์ต๋๋ค. ๋ฌด์์ ๋ํ ์์ธํ ๋ด์ฉ์ ์ฌ์ฉ ์ค๋ช ์๋ฅผ ์ฐธ์กฐํ์ญ์์ค.
์ฝ๋ ์ ํ์ ๋ฐ๋ผ ์ ์ฉ ๋ฒ์๊ฐ ๋ถ์ ํํด์ง ์ ์์ต๋๋ค.
-dumpvars [ํ์ผ ์ด๋ฆ]
-vcd ๋๋ -lxt ์ต์ ์์ด ์ด ์ต์ ์ ์ง์ ํ๋ฉด ๋์์ธ์ด ๊ตฌ๋ฌธ ๋ถ์๋ฉ๋๋ค.
CDD ํ์ผ์ด ์์ฑ๋๊ณ ์ด๋ฆ์ด ์ง์ ๋ ์ต์์ Verilog ๋ชจ๋ ํ์ผ ํ์ผ ์ด๋ฆ (์ด ๊ฒฝ์ฐ
๊ฐ์ด ์ง์ ๋จ) ๋๋ "covered_dump.v"(๋ง์ฝ ํ์ผ ์ด๋ฆ ์ง์ ๋์ง ์์)์ด ์์ฑ๋ฉ๋๋ค.
์ด ํ์ผ์ ์๋ฎฌ๋ ์ดํฐ ์ปดํ์ผ์์ ๋คํ ํ์ผ์ ์์ฑํ๋ ๋ฐ ์ฌ์ฉ๋ฉ๋๋ค.
์ง์ ๋ CDD ํ์ผ์ ๋ํ ์ ์ฉ ๋ฒ์๋ฅผ ์ป๊ธฐ ์ํด ์ต์ ํ๋์์ต๋๋ค. -vcd ๋๋
-lxt ์ต์ ์ด ์ง์ ๋๋ฉด ์ด ์ต์ ์ ์ ์ฉ๋์ง ์์ต๋๋ค. ์ ๋ํ ์ฌ์ฉ ์ค๋ช ์๋ฅผ ์ฐธ์กฐํ์ญ์์ค.
์ด ์ต์ ์ ์ฌ์ฉํ๋ ๋ฐฉ๋ฒ์ ๋ํ ์์ธํ ์ ๋ณด.
-D ์ ์_์ด๋ฆ
์ง์ ๋ ์ด๋ฆ์ 1๋ก ์ ์ํฉ๋๋ค.
-D define_name=๊ฐ
์ง์ ๋ ์ด๋ฆ์ ์ง์ ๋ ๊ฐ์ผ๋ก ์ ์ํฉ๋๋ค.
-e ๋ธ๋ก_์ด๋ฆ
์ ์๋ฅผ ๋งค๊ธฐ์ง ์์ ๋ชจ๋, ์์ , ๊ธฐ๋ฅ ๋๋ ๋ช ๋ช ๋ ์์/๋ ๋ธ๋ก์ ์ด๋ฆ. ์์ธ ๋ชจ๋
์ด ๋ธ๋ก ์๋ Verilog ํธ๋ฆฌ์ ํ์ ๋ธ๋ก๋ ์ ์๋ฅผ ๋งค๊ธฐ์ง ์์ต๋๋ค.
-์์ ์ ์ฉ ๋ฒ์๋ฅผ ๊ณ ๋ คํ์ง ์๋๋ก ๋ชจ๋ ํญ์ ์ฐจ๋จ์ ์ ์ธํฉ๋๋ค.
-EC ์ ์ฉ ๋์์์ ๋ชจ๋ ์ฐ์ ํ ๋น์ ์ ์ธํฉ๋๋ค.
-์์ด ์ปค๋ฒ๋ฆฌ์ง ๊ณ ๋ ค ๋์์์ ๋ชจ๋ ์ด๊ธฐ ๋ธ๋ก์ ์ ์ธํฉ๋๋ค.
-๋ง์ฝ์ ์ปค๋ฒ๋ฆฌ์ง ๊ณ ๋ ค ๋์์์ ๋ชจ๋ ์ต์ข ๋ธ๋ก์ ์ ์ธํฉ๋๋ค.
ep [name]
'// coverage off'์ '// coverage on' pragma ์ฌ์ด์ ์๋ ๋ชจ๋ ์ฝ๋๋ฅผ ์ ์ธํฉ๋๋ค.
๋์์ธ ์์ ๋ด์ฅ๋์ด ์์ต๋๋ค. ๋ง์ฝ์ name ๊ฐ ์ง์ ๋๋ฉด pragma์ ํค์๋๋
๊ธฐ๋ณธ "์ปค๋ฒ๋ฆฌ์ง" ๋์ ํด๋น ์ด๋ฆ์ผ๋ก ๋ณ๊ฒฝ๋์ด ์ฌ์ฉ์๊ฐ
๋ค๋ฅธ ๋๊ตฌ์ ์ถฉ๋ํ๋ ๊ฒฝ์ฐ pragma์ ๋ชจ์์ ๋ณ๊ฒฝํ์ญ์์ค.
-F module_name=[in_expr,]out_expr
๋ชจ๋์ ์๋ FSM์ ์ฐพ์ ์์น๋ฅผ ํ์์ ๋ํ๋ ๋๋ค. ๋ชจ๋ _ ์ด๋ฆ ์ด๋
๋ผ๋ ์ ๋ ฅ ์ํ ํํ์์ด ์์ต๋๋ค. in_expr ํธ์ถ๋ ์ถ๋ ฅ ์ํ ํํ
out_expr. ๋ฉด in_expr ์ง์ ๋์ง ์๊ณ , out_expr ์ ๋ ฅ ๋ฐ
์ถ๋ ฅ ์ํ ํํ
-f ํ์ผ ์ด๋ฆ
๊ตฌ๋ฌธ ๋ถ์ํ ์ถ๊ฐ ์ธ์๊ฐ ํฌํจ๋ ํ์ผ์ ์ด๋ฆ์ ๋๋ค.
-fst ํ์ผ ์ด๋ฆ
์ค๊ณ ์ ์๋ฅผ ๋งค๊ธธ FST ๋คํ ํ์ผ์ ์ด๋ฆ์ ๋๋ค. -vcd, -lxt ๋๋ ์ด ์ต์ ์ด ์๋ ๊ฒฝ์ฐ
Covered๋ ๋์์ธ์์ ์ด๊ธฐ CDD ํ์ผ๋ง ์์ฑํ๋ฉฐ
๋์์ธ ์ ์๋ฅผ ๋งค๊ธฐ๋ ค๊ณ ํฉ๋๋ค.
-g [๋ชจ๋ ์ด๋ฆ=](1|2|3)
์ฌ์ฉ์๊ฐ ํ์๋ฅผ Verilog์ ํน์ ์ธ๋๋ก ์ ํํ ์ ์์ต๋๋ค.
ํน์ ๋ชจ๋ ๋๋ ์ ์ฒด ์ค๊ณ์ ๋ํ ํ์ค, ์ฌ๊ธฐ์ 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. ๋ง์ฝ์ ๋ชจ๋_์ด๋ฆ= ๊ฐ ์ง์ ๋๋ฉด ํ์๋ ๋ค์์ ์ฌ์ฉํฉ๋๋ค.
ํด๋น ๋ชจ๋์๋ง Verilog ํ์ค์ ์ง์ ํ์ฌ ๋๋จธ์ง ์ค๊ณ๋
๊ธ๋ก๋ฒ ์คํ ๋ค๋๋ฅผ ์ฌ์ฉํฉ๋๋ค. ๊ธฐ๋ณธ์ ์ผ๋ก ๊ธ๋ก๋ฒ ํ์ค์ ๊ฐ์ฅ ์ต๊ทผ์ ์ค์ ๋ฉ๋๋ค.
๋ฒ์ (3). ์ด ์ต์ ์ ์ง์ ๋ ํธ์ถ์ ๋ํด ๋ ๋ฒ ์ด์ ์ง์ ํ ์ ์์ต๋๋ค.
์ ์ ๋ช ๋ น; ๊ทธ๋ฌ๋ -g ์ต์ ์ด ์ ์ญ ๊ฐ ์ด์์ ์ง์ ํ๋ ๊ฒฝ์ฐ(์ฆ,
~์์ด ๋ชจ๋= ์ ๋์ฌ), ๋ง์ง๋ง ์ต์ ๊ฐ๋ง ์ฌ์ฉ๋ฉ๋๋ค.
-h ์ด ๋์๋ง ์ ๋ณด๋ฅผ ํ์ํฉ๋๋ค.
-I ์๋ฐฐ ๊ท์น์
ํฌํจ๋ Verilog ํ์ผ์ ์ฐพ๊ธฐ ์ํ ๋๋ ํฐ๋ฆฌ์ ๋๋ค.
-i instance_name
ํธ๋ฆฌ์ ๋งจ ์์ ์๋ ๋ชจ๋์ ๋ํ Verilog ๊ณ์ธต์ ์ฐธ์กฐ
๋์ . ์ด ์ต์ ์ ์ ์ฉ ๋ฒ์๋ฅผ ํ์ธํ๋ ๋ชจ๋์ด ์ต์์ ์์ค์ด ์๋ ๊ฒฝ์ฐ์ ํ์ํฉ๋๋ค.
๋์์ธ์ ๋ชจ๋. ์ง์ ๋์ง ์์ ๊ฒฝ์ฐ, -t ๊ฐ์ด ์ฌ์ฉ๋ฉ๋๋ค.
-lxt ํ์ผ ์ด๋ฆ
์ค๊ณ ์ ์๋ฅผ ๋งค๊ธธ LXT2 ๋คํ ํ์ผ์ ์ด๋ฆ์ ๋๋ค. -vcd, -fst ๋๋ ์ด ์ต์ ์ด ์๋ ๊ฒฝ์ฐ
Covered๋ ๋์์ธ์์ ์ด๊ธฐ CDD ํ์ผ๋ง ์์ฑํ๋ฉฐ
๋์์ธ ์ ์๋ฅผ ๋งค๊ธฐ๋ ค๊ณ ํฉ๋๋ค.
-m ๋ฉ์์ง
์ฌ์ฉ์๊ฐ ์ด CDD ํ์ผ์ ๋ํ ์ ๋ณด๋ฅผ ์ง์ ํ ์ ์์ต๋๋ค. ์ด ์ ๋ณด๋
๋ฌด์์ด๋ ๋ ์ ์์ต๋๋ค(๊ณต๋ฐฑ์ด ์๋ ๋ฉ์์ง๋ ํฐ๋ฐ์ดํ๋ก ๋ฌถ์ด์ผ ํฉ๋๋ค.
ํ์), ๊ทธ๋ฌ๋ ๋ ์ฝ๊ฒ ์๋ฎฌ๋ ์ด์ ์ธ์์ ๋ํ ๋ด์ฉ์ ํฌํจํ ์ ์์ต๋๋ค.
CDD ํ์ผ์ ์ฌ์์ฑํ๊ธฐ ์ํด CDD ํ์ผ์ ํด๋น ์๋ฎฌ๋ ์ด์ ์ ์ฐ๊ฒฐํฉ๋๋ค.
-o ๋ฐ์ดํฐ๋ฒ ์ด์ค
์ ์ฉ ๋ฒ์ ์ ๋ณด๋ฅผ ์ธ ๋ฐ์ดํฐ๋ฒ ์ด์ค์ ์ด๋ฆ์ ๋๋ค. ์ง์ ํ์ง ์์ผ๋ฉด ์ถ๋ ฅ
๋ฐ์ดํฐ๋ฒ ์ด์ค ํ์ผ ์ด๋ฆ์ "cov.cdd"์ ๋๋ค.
-p ํ์ผ ์ด๋ฆ
์ค๊ฐ ์ ์ฒ๋ฆฌ๊ธฐ ์ถ๋ ฅ์ ์ ์ฅํ๋ ๋ฐ ์ฌ์ฉ๋๋ ๊ธฐ๋ณธ ํ์ผ ์ด๋ฆ์ ์ฌ์ ์ํฉ๋๋ค.
-P ๋งค๊ฐ๋ณ์_๋ฒ์=๊ฐ
๊ฐ์ด ์๋ ์ง์ ๋ ๋งค๊ฐ๋ณ์์ ๋ํด defparam์ ์ํํฉ๋๋ค.
-RS ๊ฒฝํฉ ์ํ ๊ฒ์ฌ๋ฅผ ์๋ฐํ๋ฉด ์๋ฐ ๋ ผ๋ฆฌ ๋ธ๋ก์ด ์ ๊ฑฐ๋ฉ๋๋ค.
์ปค๋ฒ๋ฆฌ์ง ๊ณ ๋ ค์์ ๋ ์ด์ค์ ๊ด๋ จ๋ ๋ชจ๋ ์ถ๋ ฅ์ด ์ต์ ๋ฉ๋๋ค.
์กฐ๊ฑด ์๋ฐ. ์ธ์ข ์ ๋ํ ์์ธํ ๋ด์ฉ์ ์ฌ์ฉ์ ๋ฌธ์๋ฅผ ์ฐธ์กฐํ์ญ์์ค.
์ํ ํ์ธ ์ฌ์ฉ๋ฒ.
-rW ๊ฒฝํฉ ์ํ ๊ฒ์ฌ๋ฅผ ์๋ฐํ๋ฉด ์๋ฐ ๋ ผ๋ฆฌ ๋ธ๋ก์ด ์ ๊ฑฐ๋ฉ๋๋ค.
์ ์ฉ ๋ฒ์ ๊ณ ๋ ค์์ ๊ฒฝ์ ์กฐ๊ฑด ์๋ฐ์ด ์ถ๋ ฅ๋ฉ๋๋ค. ์ด๊ฒ์
๊ฒฝ์ ์กฐ๊ฑด ์ฒ๋ฆฌ๋ฅผ ์ํ ๊ธฐ๋ณธ ๋์์ ๋๋ค. ์์ธํ ๋ด์ฉ์ ์ฌ์ฉ์ ์ค๋ช ์๋ฅผ ์ฐธ์กฐํ์ญ์์ค.
๊ฒฝ์ ์กฐ๊ฑด ํ์ธ ์ฌ์ฉ์ ๋ํ ์ ๋ณด.
-๋ต์ฅ ๊ฒฝ์ ์กฐ๊ฑด ๊ฒ์ฌ๋ฅผ ์๋ฐํ๋ฉด ์ด์ ๊ฐ ์ถ๋ ฅ๋๊ณ ์ ์๊ฐ ์ข ๋ฃ๋ฉ๋๋ค.
์ฆ์. ๊ฒฝํฉ ์ํ์ ๋ํ ์์ธํ ๋ด์ฉ์ ์ฌ์ฉ์ ์ค๋ช ์๋ฅผ ์ฐธ์กฐํ์ญ์์ค.
์ฌ์ฉ๋ ํ์ธ.
-rI[=๋ชจ๋ name]
If ๋ชจ๋ name ๊ฐ ์ง์ ๋์ง ์์ ๊ฒฝ์ฐ ๊ฒฝํฉ ์ํ ๊ฒ์ฌ๋ ๋ชจ๋ ๊ฑด๋๋๋๋ค.
์ ์ฒด ๋์์ธ. ๋ง์ฝ์ ๋ชจ๋ name ๊ฐ ์ง์ ๋๋ฉด ๊ฒฝํฉ ์ํ ํ์ธ์ ๊ฑด๋๋๋๋ค.
์ง์ ๋ ๋ชจ๋์ ๋ํด. ์ธ์ข ์ ๋ํ ์์ธํ ๋ด์ฉ์ ์ฌ์ฉ์ ๋ฌธ์๋ฅผ ์ฐธ์กฐํ์ญ์์ค.
์ํ ํ์ธ ์ฌ์ฉ๋ฒ.
-RP[=name])
๊ฒฝํฉ ์ํ ํ์ธ์์ ํน์ ์ฝ๋๋ฅผ ๋ฌด์ํ๊ธฐ ์ํด ํฌํจ๋ pragma๋ฅผ ์ฌ์ฉํฉ๋๋ค.
๊ณ ๋ ค(๋ง์ฝ name pragma ํค์๋๋ก ์ฌ์ฉ๋จ). ์ฌ์ฉ์ ๋ณด๊ธฐ
๊ฒฝํฉ ์ํ ํ์ธ ์ฌ์ฉ๋ฒ์ ๋ํ ์์ธํ ๋ด์ฉ์ ์ค๋ช ์๋ฅผ ์ฐธ์กฐํ์ญ์์ค.
-S ์๋ฎฌ๋ ์ด์ ์ด ์๋ฃ๋ ํ ์๋ฎฌ๋ ์ด์ ํต๊ณ๋ฅผ ์ถ๋ ฅํฉ๋๋ค. ์ด ์ ๋ณด๋
ํ์ฌ Covered ๊ฐ๋ฐ์์๊ฒ๋ง ์ ์ฉํฉ๋๋ค.
-t ์ต๊ณ ์์ค ๋ชจ๋
์ธก์ ํ ์ต์์ ๋ชจ๋์ ๋ชจ๋ ์ด๋ฆ์ ์ง์ ํฉ๋๋ค. ์ฐธ๊ณ
์ด ๋ชจ๋์ ์๋ฎฌ๋ ์ดํฐ์์ ์ต์์ ๋ชจ๋์ผ ํ์๊ฐ ์์ต๋๋ค. ์ด ํ๋
score ๋ช ๋ น์ ๋ํ ๋ชจ๋ ํธ์ถ์ ํ์ํฉ๋๋ค.
-top_ts ์๊ฐ ์ฒ๋
์ด ์ต์ ์ -vpi ๋๋ -dumpvars ์ต์ ์ด ์ง์ ๋ ๊ฒฝ์ฐ์๋ง ์ ํจํฉ๋๋ค.
์ด ์ต์ ์ ์ฌ์ฉํ๋ฉด ์์ฑ๋ Verilog ๋ชจ๋์ ๋ํ ์๊ฐ ์ฒ๋๋ฅผ ์ง์ ํ ์ ์์ต๋๋ค.
-vpi/-dumpvars ์ต์ ์ผ๋ก ์์ฑ๋ฉ๋๋ค. ์ด ์ต์ ์ ์ง์ ํ์ง ์์ผ๋ฉด
์์ฑ๋ ๋ชจ๋์ ๋ํด ์๊ฐ ์ฒ๋๊ฐ ์์ฑ๋ฉ๋๋ค. ์ ๊ฐ์น ์๊ฐ ์ฒ๋ is
๋ค์๊ณผ ๊ฐ์ด ์ง์ ๋ฉ๋๋ค.
(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)
๋ค์ํ ๊ฐ ์ฌ์ด์ ๊ณต๋ฐฑ์ด ํ์ํ ๊ฒฝ์ฐ ์ ์ฒด ๋ด์ฉ์
์๊ฐ ์ฒ๋ ํฐ๋ฐ์ดํ๋ก.
-ts ๋ฒํธ
์ฑ์ ์ด ๋ฐ์ํ๋ฉด ์ด ์ต์ ์ ํตํด ์ฌ์ฉ์๋ ์๋ฎฌ๋ ์ดํฐ๊ฐ ์ผ๋ง๋ ๋ฉ๋ฆฌ ์๋์ง ํ์ธํ ์ ์์ต๋๋ค.
ํ์ฌ ์๊ฐ ๋จ๊ณ๋ฅผ ํ์ค ์ถ๋ ฅ์ผ๋ก ์ถ๋ ฅํ์ฌ ์งํ๋ฉ๋๋ค. ์ ๊ฐ์น
๋ฒํธ ์ถ๋ ฅํ๊ธฐ ์ ์ ์๋ฎฌ๋ ์ด์ ํ ์ ์๋ ์๊ฐ ๋จ๊ณ ์๋ฅผ ์ง์ ํฉ๋๋ค.
ํ์ฌ ์๊ฐ ๋จ๊ณ(์ถ๋ ฅ ์คํธ๋ฆผ์ ๋ํ ํธ์ถ์ด ์ค์ด๋ฆ).
-T (์ต์|ํต์|์ต๋)
๋ค์ ํ์์ ์ง์ฐ ํํ์์ด ๋ฐ์ํ ๋ ์ฌ์ฉํ ๊ฐ์ ์ง์ ํฉ๋๋ค.
์ต์:์ผ๋ฐ:์ต๋ ์ด ์ต์ ์ ์ง์ ํ์ง ์์ผ๋ฉด ๊ธฐ๋ณธ์ ์ผ๋ก 'typ' ์ ํ์ด ์ฌ์ฉ๋ฉ๋๋ค.
-v ํ์ผ ์ด๋ฆ
์ ์๋ฅผ ๋งค๊ธธ ํน์ Verilog ํ์ผ์ ์ด๋ฆ์ ๋๋ค.
-vcd ํ์ผ ์ด๋ฆ
๋์์ธ ์ ์๋ฅผ ๋งค๊ธธ VCD ๋คํ ํ์ผ์ ์ด๋ฆ์ ๋๋ค. -lxt, -fst ๋๋ ์ด ์ต์ ์ด ์๋ ๊ฒฝ์ฐ
Covered๋ ๋์์ธ์์ ์ด๊ธฐ CDD ํ์ผ๋ง ์์ฑํ๋ฉฐ
๋์์ธ ์ ์๋ฅผ ๋งค๊ธฐ๋ ค๊ณ ํฉ๋๋ค.
-vpi [ํ์ผ ์ด๋ฆ]
-vcd, -lxt ๋๋ -fst ์ต์ ์์ด ์ด ์ต์ ์ ์ง์ ํ๋ฉด ๋์์ธ์ด
ํ์ฑ๋๋ฉด CDD ํ์ผ์ด ์์ฑ๋๊ณ ์ด๋ฆ์ด ์ง์ ๋ ์ต์์ Verilog ๋ชจ๋ ํ์ผ์ด ์์ฑ๋ฉ๋๋ค. ํ์ผ ์ด๋ฆ
(์ด ๊ฐ์ด ์ง์ ๋ ๊ฒฝ์ฐ) ๋๋ "covered_vpi.v"(๊ฒฝ์ฐ ํ์ผ ์ด๋ฆ ์ง์ ๋์ง ์์)์ ๋๋ค
๋ผ๋ PLI ํ ์ด๋ธ ํ์ผ๊ณผ ํจ๊ป ์์ฑ๋จ ํ์ผ ์ด๋ฆ.ta b ๋๋ "covered_vpi.v.ta b".
์ด ๋ ํ์ผ์ Covered๋ฅผ ๋ค์๊ณผ ๊ฐ์ด ์ฌ์ฉํ๊ธฐ ์ํด ์๋ฎฌ๋ ์ดํฐ๋ฅผ ์ปดํ์ผํ๋ ๋ฐ ์ฌ์ฉ๋ฉ๋๋ค.
VPI ๋ชจ๋. -vcd, -lxt ๋๋ -fst ์ต์ ์ด ์ง์ ๋ ๊ฒฝ์ฐ ์ด ์ต์ ์
ํจ๊ณผ๊ฐ ์์ต๋๋ค.
-์๊ทธ๋ ธ์ด
์ฝ๋ ๊ตฌ๋ฌธ ๋ถ์ ๋ฐ ์๋ฎฌ๋ ์ด์ ์ค์ ๊ฒฝ๊ณ ์ถ๋ ฅ์ ์ต์ ํฉ๋๋ค.
-y ์๋ฐฐ ๊ท์น์
์ง์ ๋์ง ์์ Verilog ํ์ผ์ ์ฐพ๊ธฐ ์ํ ๋๋ ํฐ๋ฆฌ์ ๋๋ค.
+libext+.ํ๋[+.ํ๋]*+
์ค์ฝ์ด๋ง์ ํ์ฉํ๋ Verilog ํ์ผ์ ํ์ฅ์.
ํฉ๋ณ COMMAND
๋ค์ ์ต์ ์ ๋ณํฉ ๋ช ๋ น์ ์ ํจํฉ๋๋ค.
-d ํ์ผ ์ด๋ฆ
ํฌํจํ CDD ํ์ผ์ ๊ฒ์ํ ๋๋ ํฐ๋ฆฌ์ ๋๋ค. ์ด ์ต์ ์ ํจ๊ป ์ฌ์ฉ๋ฉ๋๋ค.
์ ๋๋ถ์ด -๋ด์ ๊ฒฐ์ ์ ์ฌ์ฉํ ํ์ผ ํ์ฅ์๋ฅผ ์ง์ ํ๋ ์ต์
๋๋ ํ ๋ฆฌ์ ์ด๋ค ํ์ผ์ด CDD ํ์ผ์ธ์ง.
-R (๋จผ์ |์ง๋|๋ชจ๋ | |๋ก์)
์ ์ธ ์ด์ ํด๊ฒฐ ๋ฐฉ๋ฒ์ ์ง์ ํฉ๋๋ค. ๋ ๊ฐ ์ด์์ CDD ํ์ผ์ด ์๋ ๊ฒฝ์ฐ
๋ณํฉ๋๋ ๊ฒฝ์ฐ ๋์ผํ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ์ ๋ํด ์ง์ ๋ ์ ์ธ ์ฌ์ ๊ฐ ์๋ ๊ฒฝ์ฐ
์ ์ธ ์ด์ ๋ฅผ ํด๊ฒฐํด์ผ ํฉ๋๋ค(๋์ผํ ๋ฌธ์์ด ๊ฐ์ด ์๋ ๊ฒฝ์ฐ). ๋ง์ฝ์
์ด ์ต์ ์ด ์ง์ ๋์ง ์๊ณ ์ถฉ๋์ด ๋ฐ๊ฒฌ๋๋ฉด Covered๋ ๋ํ์์ผ๋ก
์ฒ๋ฆฌ ๋ฐฉ๋ฒ์ ๋ํด ๊ฐ ์ ์ธ์ ๋ํ ์ ๋ ฅ์ ์์ฒญํฉ๋๋ค. ์ด ์ต์ ์ด
์ง์ ๋ ๊ฒฝ์ฐ Covered์๊ฒ ๋ชจ๋ ์ ์ธ ์ฌ์ ์ถฉ๋์ ์ฒ๋ฆฌํ๋ ๋ฐฉ๋ฒ์ ์๋ ค์ค๋๋ค. ๊ทธ๋งํผ
๊ฐ์ ๋ค์๊ณผ ๊ฐ์ต๋๋ค:.br
๋จผ์ - ์ฒซ ๋ฒ์งธ ์ ์ธ ์ฌ์ ๊ฐ ํฌํจ๋ CDD ํ์ผ์ ์ฌ์ฉํฉ๋๋ค.
์ง๋ - ๋ง์ง๋ง ์ ์ธ ์ฌ์ ๊ฐ ํฌํจ๋ CDD ํ์ผ์ ์ฌ์ฉํฉ๋๋ค.
๋ชจ๋ - ๋ชจ๋ ์ ์ธ ์ฌ์ ๊ฐ ์ฌ์ฉ(์ฐ๊ฒฐ)๋ฉ๋๋ค.
- ์ง์ ๋ ์ต์ ์ ์ธ ์ฌ์ ๋ฅผ ์ฌ์ฉํ์ญ์์ค.
๋ก์ - ์ง์ ๋ ๊ฐ์ฅ ์ค๋๋ ์ ์ธ ์ฌ์ ๋ฅผ ์ฌ์ฉํ์ญ์์ค.
-๋ด์ ํ์ฅ์
์ ํจ๊ป ์ฌ์ฉ -d ์ต์ . ๊ทธ๋ ์ง ์์ ๊ฒฝ์ฐ -๋ด์ ์ต์ ์
๋ช ๋ น์ค์์๋ ๊ธฐ๋ณธ๊ฐ '.cdd'๊ฐ ์ฌ์ฉ๋ฉ๋๋ค. ๋ง์นจํ(.)๋
์ง์ ๋ฉ๋๋ค.
-f ํ์ผ ์ด๋ฆ
๊ตฌ๋ฌธ ๋ถ์ํ ์ถ๊ฐ ์ธ์๊ฐ ํฌํจ๋ ํ์ผ์ ์ด๋ฆ์ ๋๋ค.
-h ์ด ๋์๋ง ์ ๋ณด๋ฅผ ํ์ํฉ๋๋ค.
-m ๋ฉ์์ง
์ฌ์ฉ์๊ฐ ์ด CDD ํ์ผ์ ๋ํ ์ ๋ณด๋ฅผ ์ง์ ํ ์ ์์ต๋๋ค. ์ด ์ ๋ณด๋
๋ฌด์์ด๋ ๋ ์ ์์ต๋๋ค(๊ณต๋ฐฑ์ด ์๋ ๋ฉ์์ง๋ ํฐ๋ฐ์ดํ๋ก ๋ฌถ์ด์ผ ํฉ๋๋ค.
์ ์).
-o ํ์ผ ์ด๋ฆ
์ ๋ฐ์ดํฐ๋ฒ ์ด์ค๋ฅผ ์ถ๋ ฅํ ํ์ผ์ ๋๋ค. ์ด ์ธ์๋ฅผ ์ง์ ํ์ง ์์ผ๋ฉด
๊ธฐ์กด_๋ฐ์ดํฐ๋ฒ ์ด์ค ์ถ๋ ฅ ๋ฐ์ดํฐ๋ฒ ์ด์ค ์ด๋ฆ์ผ๋ก ์ฌ์ฉ๋ฉ๋๋ค.
REPORT COMMAND
๋ค์ ์ต์ ์ ๋ณด๊ณ ์ ๋ช ๋ น์ ์ ํจํฉ๋๋ค.
-b ์กฐํฉ ๋ ผ๋ฆฌ ์์ธ ์ถ๋ ฅ์ด ๋ณด๊ณ ๋๊ณ ํํ์์ด ๋ฒกํฐ์ธ ๊ฒฝ์ฐ
์ด ์ต์ ์ ์ปค๋ฒ๋ฆฌ์ง ์ ๋ณด๋ฅผ ๋นํธ ๋จ์๋ก ์ถ๋ ฅํฉ๋๋ค.
-c If -v ์ด ์ง์ ๋๋ฉด ์ ์ฉ๋๋ ๋ฉํธ๋ฆญ๋ง ํ์๋ฉ๋๋ค. ๊ธฐ๋ณธ๊ฐ์ ๋ ธ์ถ๋์ง ์์ ์ํ๋ก ํ์ํ๋ ๊ฒ์ ๋๋ค.
์ ๋ณด ๋ง.
-d (s|d|v)
์ ์ฉ ๋ฒ์ ๋ณด๊ณ ์ ์ ๋ณด์์ ์ ๊ณตํ๋ ์ธ๋ถ ์์ค(s = ์์ฝ, d =
์์ธ, v = ์ฅํฉ). ๊ธฐ๋ณธ๊ฐ์ ์์ฝ์ ๋๋ค.
-e ์ง์ ๋ ๋ชจ๋ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ์ ํจ๊ป ์ ์ธ๋ ๋ชจ๋ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ๋ฅผ ๋ณด๊ณ ์ ํ์ผ์ ์ถ๋ ฅํฉ๋๋ค.
์ ์ธ ์ฌ์ ๊ฐ ์๋ ๊ฒฝ์ฐ -d d or -d v ์ต์ ์ด ์ง์ ๋ฉ๋๋ค.
-f ํ์ผ ์ด๋ฆ
๊ตฌ๋ฌธ ๋ถ์ํ ์ถ๊ฐ ์ธ์๊ฐ ํฌํจ๋ ํ์ผ์ ์ด๋ฆ์ ๋๋ค.
-h ์ด ๋์๋ง ์ ๋ณด๋ฅผ ํ์ํฉ๋๋ค.
-i ๋ชจ๋ ๋์ ์ธ์คํด์ค์ ๋ํ ์ปค๋ฒ๋ฆฌ์ง ์ ๋ณด๋ฅผ ์ ๊ณตํฉ๋๋ค.
-m [l][t][c][f][r][a][m]
๋ณด๊ณ ํ ๋ฉํธ๋ฆญ ์ ํ์ ๋๋ค. l=๋ผ์ธ, t=ํ ๊ธ, c=์กฐํฉ ๋ก์ง, f=FSM ์ํ
๋ฐ ์ํ ์ ์ด, r=๊ฒฝํฉ ์กฐ๊ฑด, a=์ด์ค์ , m=๋ฉ๋ชจ๋ฆฌ. ๊ธฐ๋ณธ๊ฐ์ LTCF.
-o ํ์ผ ์ด๋ฆ
๋ณด๊ณ ์ ์ ๋ณด๋ฅผ ์ถ๋ ฅํ ํ์ผ์ ๋๋ค. ๊ธฐ๋ณธ๊ฐ์ ํ์ค ์ถ๋ ฅ์ ๋๋ค.
-s ์ปค๋ฒ๋ฆฌ์ง ์ ๋ณด๊ฐ ํฌํจ๋์ง ์์ ๋ชจ๋/์ธ์คํด์ค๊ฐ ์ถ๋ ฅ๋๋ ๊ฒ์ ์ต์ ํฉ๋๋ค.
๋ณด๊ณ ์์. ์ ์ฌ์ ์ผ๋ก ๋ฌด์๋ฏธํ ์ ๋ณด๋ฅผ ์ ๊ฑฐํ๋ ๋ฐ ์ฌ์ฉ๋ฉ๋๋ค.
๋ณด๊ณ ํฉ๋๋ค.
-v ๋ ์ด์ ์ฌ์ฉ๋์ง ์์ต๋๋ค. '-dd' ๋๋ '-d v'๋ก ๋์ฒด๋์์ต๋๋ค.
-์ ๋ง ๋ํํ ์ปค๋ฒ๋ฆฌ์ง ๋ณด๊ณ ๋ฅผ ์ํ GUI ์ธํฐํ์ด์ค๋ฅผ ์์ํฉ๋๋ค.
-w (๋ฒํธ)
Verilog ์ถ๋ ฅ์ ์ฌ์ฉํ ์ ์๋ ์ต๋ ์ค ๋๋น(๋ฌธ์)๋ฅผ ์ง์ ํฉ๋๋ค.
์ ๋ณด. ์ด ์ต์ ์ ์ง์ ํ์ง ์์ผ๋ฉด ๋ณด๊ณ ์์ ๋ชจ๋ Verilog ์ฝ๋๊ฐ
์๋ Verilog ์ฝ๋์ ์ง์ ๋ ๊ฒ๊ณผ ๋์ผํ ํ์์ ์ ์งํฉ๋๋ค. ์ด ๊ฒฝ์ฐ
์ต์ ์ด ์ง์ ๋๋ฉด Verilog ์ฝ๋๋ ํ์ฌ
๋ผ์ธ์ด ์ต๋ ๋ผ์ธ ๋๋น์ ๋๋ฌํ๋ฉด ํ ์คํธ๋ฅผ ๋ํํฉ๋๋ค. ๊ทธ๋งํผ
๊ธฐ๋ณธ ์ต๋ ์ค ๋๋น๋ 115์์ ๋๋ค(์ซ์๊ฐ ์๋ ๊ฒฝ์ฐ ์ด ๊ฐ์ด ์ฌ์ฉ๋ฉ๋๋ค.
-w ์ต์ ์ผ๋ก ์ง์ ๋จ). -w ์ต์ ์ผ๋ก ์ซ์๋ฅผ ์ง์ ํ๋ฉด ์ด
๊ฐ์ ์ต๋ ์ ๋๋น์ ์ฌ์ฉ๋ฉ๋๋ค.
-x ๋ด์์ ์ปค๋ฒ๋์ง ์๊ณ ์ ์ธ๋ ๋ชจ๋ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ์ ์ ์ธ ID๋ฅผ ์ถ๋ ฅํฉ๋๋ค.
์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ์ ๊ด๋ จ ์์ธ ์ถ๋ ฅ ์์ ๊ดํธ. ๊ทธ๋งํผ
์ ์ธ ID๋ ์ ์ธ๋ฅผ ํตํด ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ๋ฅผ ์ ์ธ/ํฌํจํ๋ ๋ฐ ์ฌ์ฉํ ์ ์์ต๋๋ค.
๋ช ๋ น.
๊ณ๊ธ COMMAND
๋ค์ ์ต์ ์ rank ๋ช ๋ น๊ณผ ํจ๊ป ์ ํจํฉ๋๋ค.
-d ํ์ผ ์ด๋ฆ
ํฌํจํ CDD ํ์ผ์ ๊ฒ์ํ ๋๋ ํฐ๋ฆฌ์ ๋๋ค. ์ด ์ต์ ์ ํจ๊ป ์ฌ์ฉ๋ฉ๋๋ค.
์ ๋๋ถ์ด -๋ด์ ๊ฒฐ์ ์ ์ฌ์ฉํ ํ์ผ ํ์ฅ์๋ฅผ ์ง์ ํ๋ ์ต์
๋๋ ํ ๋ฆฌ์ ์ด๋ค ํ์ผ์ด CDD ํ์ผ์ธ์ง.
-๊น์ด ๋ฒํธ
๊ฐ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ์ ๋๋ฌํ๋ ๋ฐ ํ์ํ CDD ํ์ผ์ ์ต์ ์๋ฅผ ์ง์ ํฉ๋๋ค. ๊ทธ๋งํผ
์ ๊ฐ์น ๋ฒํธ 1๋ณด๋ค ์ปค์ผ ํฉ๋๋ค. ๊ธฐ๋ณธ๊ฐ์ XNUMX์ ๋๋ค.
-๋ด์ ํ์ฅ์
์ ํจ๊ป ์ฌ์ฉ -d ์ต์ . ๊ทธ๋ ์ง ์์ ๊ฒฝ์ฐ -๋ด์ ์ต์ ์
๋ช ๋ น์ค์์๋ ๊ธฐ๋ณธ๊ฐ '.cdd'๊ฐ ์ฌ์ฉ๋ฉ๋๋ค. ๋ง์นจํ(.)๋
์ง์ ๋ฉ๋๋ค.
-f ํ์ผ ์ด๋ฆ
๊ตฌ๋ฌธ ๋ถ์ํ ์ถ๊ฐ ์ธ์๊ฐ ํฌํจ๋ ํ์ผ์ ์ด๋ฆ์ ๋๋ค.
-h rank ๋ช ๋ น์ ๋ํ ๋์๋ง ์ ๋ณด๋ฅผ ํ์ํฉ๋๋ค.
-์ด๋ฆ๋ง
์ง์ ๋ ๊ฒฝ์ฐ ๋ค์์์ ์คํํด์ผ ํ๋ ํ์ CDD ํ์ผ ์ด๋ฆ๋ง ์ถ๋ ฅํฉ๋๋ค.
์คํํด์ผ ํ๋ ์์์ ๋๋ค. ์ด ์ต์ ์ ์ค์ ํ์ง ์์ผ๋ฉด ๋ณด๊ณ ์ ์คํ์ผ ์ถ๋ ฅ์ด
์ถ๊ฐ ์ ๋ณด์ ํจ๊ป ์ ๊ณต๋ฉ๋๋ค. ์ด ์ต์ ์ ์คํฌ๋ฆฝํธ์์ ์ ์ฉํฉ๋๋ค.
CDD ํ์ผ ์ด๋ฆ๋ง ์ถ๋ ฅ์ผ๋ก ์คํํ๊ธฐ๋ฅผ ์ํฉ๋๋ค.
-o ํ์ผ ์ด๋ฆ
์์ ์ ๋ณด๋ฅผ ์ถ๋ ฅํ ํ์ผ๋ช . ๊ธฐ๋ณธ๊ฐ์ ํ์ค ์ถ๋ ฅ์ ๋๋ค.
-ํ์-cdd ํ์ผ ์ด๋ฆ
์์๋ฅผ ๋งค๊ธฐ๊ธฐ ์ํด ํ์ CDD๋ก ๊ฐ์ฃผ๋์ด์ผ ํ๋ CDD์ ์ด๋ฆ(์ฆ,
์ด๋ค ์ด์ ๋ก๋ ์ ์ธ๋จ).
-ํ์ ๋ชฉ๋ก ํ์ผ ์ด๋ฆ
ํ์ CDD๋ก ๊ฐ์ฃผ๋์ด์ผ ํ๋ CDD ๋ชฉ๋ก์ด ํฌํจ๋ ํ์ผ์ ์ด๋ฆ
์์์. ํ์ผ ์ด๋ฆ์ ๊ณต๋ฐฑ์ด๋ ๊ฐํ ๋ฌธ์๋ก ๊ตฌ๋ถํด์ผ ํฉ๋๋ค.
ํ์ผ ๋ด์์.
-v rank ๋ช ๋ น์ด ์คํ๋ ๋ ์์ธํ ์ถ๋ ฅ์ด ํ์๋๋๋ก ํฉ๋๋ค. ๊ทธ๊ฒ์ ์ถ๋ ฅ
์์ ์๊ณ ๋ฆฌ์ฆ์ ๊ฐ ๋จ๊ณ์ ๋ํ ์ง๋จ ์ ๋ณด
๋ฐํ์, ํฌํจ/์ ์ธ๋ CDD ํ์ผ ์ ๋ฐ ์ ์ฉ ๋ฒ์ ์ ํฌํจ
๊ฐ ๋จ๊ณ์์ ์์๊ฐ โโ๋งค๊ฒจ์ง CDD๊ฐ ์ ์ค ํ ํฌ์ธํธ. ์ด ์ ๋ณด๋
์์ ์๊ณ ๋ฆฌ์ฆ๊ณผ ๊ทธ ์ฑ๋ฅ์ ๊ด์ฌ์ด ์๋ ์ฌ๋๋ค์๊ฒ ์ ์ฉํฉ๋๋ค.
-๊ฐ์ค ์ฃผ์ฅ ๋ฒํธ
๊ณ ์ ํ์ง ์์ ์์๋ฅผ ์ง์ ํ๋ ๋ฐ ์ฌ์ฉ๋๋ ์ด์ค์ ์ ์ฉ ๋ฒ์์ ๋ํ ์๋์ ๊ฐ์ค์น๋ฅผ ์ง์ ํฉ๋๋ค.
์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ. ์ ๊ฐ์น ๋ฒํธ ์ ์ฌ์ฉ๋ ๊ฐ์ ์๋์ ์ ๋๋ค.
-๋ฌด๊ฒ ํ ๊ธ, -์ค๋ ๊ธฐ์ต, -์ค๋ ๋น, -๋ฌด๊ฒ-fsm ๊ณผ -์ฒด์ค์ ์์
๋ช ๋ น ์ต์ .
-์ค๋ ๋น ๋ฒํธ
์์๋ฅผ ๋งค๊ธฐ๋ ๋ฐ ์ฌ์ฉ๋๋ ์กฐํฉ ๋ ผ๋ฆฌ ๋ฒ์์ ๋ํ ์๋์ ๊ฐ์ค์น๋ฅผ ์ง์ ํฉ๋๋ค.
๊ณ ์ ํ์ง ์์ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ. ์ ๊ฐ์น ๋ฒํธ ์ ์ฌ์ฉ๋ ๊ฐ์ ์๋์ ์ ๋๋ค.
์ ์, -๋ฌด๊ฒ ํ ๊ธ, -์ค๋ ๊ธฐ์ต, -๊ฐ์ค ์ฃผ์ฅ, -๋ฌด๊ฒ-fsm ๊ณผ -์ฒด์ค์
์์ ๋ช ๋ น ์ต์ .
-๋ฌด๊ฒ-fsm ๋ฒํธ
FSM ์ํ ๋ฐ ์ํ ์ ํ ์ ์ฉ ๋ฒ์์ ๋ํ ์๋์ ๊ฐ์ค์น๋ฅผ ์ง์ ํฉ๋๋ค.
๊ณ ์ ํ์ง ์์ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ์ ์์๋ฅผ ๋งค๊น๋๋ค. ์ ๊ฐ์น ๋ฒํธ ๊ฐ์ ์๋์ ์ ๋๋ค.
์์ ์ฌ์ฉ๋๋ -๋ฌด๊ฒ ํ ๊ธ, -์ค๋ ๊ธฐ์ต, -์ค๋ ๋น, -๊ฐ์ค ์ฃผ์ฅ ๊ณผ
-์ฒด์ค์ ์์ ๋ช ๋ น ์ต์ .
-์ฒด์ค์ ๋ฒํธ
๊ณ ์ ํ์ง ์์ ์ปค๋ฒ๋ฆฌ์ง์ ์์๋ฅผ ๋งค๊ธฐ๋ ๋ฐ ์ฌ์ฉ๋๋ ๋ผ์ธ ์ปค๋ฒ๋ฆฌ์ง์ ๋ํ ์๋์ ๊ฐ์ค์น๋ฅผ ์ง์ ํฉ๋๋ค.
ํฌ์ธํธ๋ค. ์ ๊ฐ์น ๋ฒํธ ์ ์ฌ์ฉ๋ ๊ฐ์ ์๋์ ์ ๋๋ค. -๋ฌด๊ฒ ํ ๊ธ,
-์ค๋ ๊ธฐ์ต, -์ค๋ ๋น, -๋ฌด๊ฒ-fsm ๊ณผ -๊ฐ์ค ์ฃผ์ฅ ์์ ๋ช ๋ น ์ต์ .
-์ค๋ ๊ธฐ์ต ๋ฒํธ
๊ณ ์ ํ์ง ์์ ๋ฒ์์ ์์๋ฅผ ๋งค๊ธฐ๋ ๋ฐ ์ฌ์ฉ๋๋ ๋ฉ๋ชจ๋ฆฌ ๋ฒ์์ ๋ํ ์๋์ ๊ฐ์ค์น๋ฅผ ์ง์ ํฉ๋๋ค.
ํฌ์ธํธ๋ค. ์ ๊ฐ์น ๋ฒํธ ์ ์ฌ์ฉ๋ ๊ฐ์ ์๋์ ์ ๋๋ค. -๋ฌด๊ฒ ํ ๊ธ,
-์ฒด์ค์ , -์ค๋ ๋น, -๋ฌด๊ฒ-fsm ๊ณผ -๊ฐ์ค ์ฃผ์ฅ ์์ ๋ช ๋ น ์ต์ .
-๋ฌด๊ฒ ํ ๊ธ ๋ฒํธ
๊ณ ์ ํ์ง ์์ ๋ฒ์์ ์์๋ฅผ ๋งค๊ธฐ๋ ๋ฐ ์ฌ์ฉ๋๋ ํ ๊ธ ๋ฒ์์ ๋ํ ์๋์ ๊ฐ์ค์น๋ฅผ ์ง์ ํฉ๋๋ค.
ํฌ์ธํธ๋ค. ์ ๊ฐ์น ๋ฒํธ ์ ์ฌ์ฉ๋ ๊ฐ์ ์๋์ ์ ๋๋ค. -์ค๋ ๊ธฐ์ต,
-์ฒด์ค์ , -์ค๋ ๋น, -๋ฌด๊ฒ-fsm ๊ณผ -๊ฐ์ค ์ฃผ์ฅ ์์ ๋ช ๋ น ์ต์ .
๋ค์ด์ค์ง ๋ชปํ๊ฒ ํ๋ค COMMAND
๋ค์ ์ต์ ์ exclude ๋ช ๋ น์ ์ ํจํฉ๋๋ค.
-f ํ์ผ ์ด๋ฆ
exclude ๋ช ๋ น์ ๋ํ ์ถ๊ฐ ์ต์ ์ด ํฌํจ๋ ํ์ผ์ ์ด๋ฆ์ ์ง์ ํฉ๋๋ค.
์ด ์ต์ ์ ๋จ์ผ ํธ์ถ์ ํ์ํ ๋งํผ ์ฌ๋ฌ ๋ฒ ์ง์ ํ ์ ์์ต๋๋ค.
๋ช ๋ น์ ์ ์ธํฉ๋๋ค.
-h exclude ๋ช ๋ น์ ๋ํ ์ฌ์ฉ ์ ๋ณด๋ฅผ ์์ฑํฉ๋๋ค.
-m ์ ์ธ ๋ฉ์์ง๊ฐ ๋ชจ๋ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ์ ์ฐ๊ฒฐ๋๋๋ก ํ์ฉํฉ๋๋ค.
ํฌํจ๋ ์ํ์์ ์ ์ธ๋ ์ํ๋ก. ๋ง๋๋ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ๋ง๋ค
์ด ์๊ตฌ ์ฌํญ์ ์ถฉ์กฑํ๋ ค๋ฉด ์ฌ์ฉ์์๊ฒ ์ด์ ๋ฅผ ์ ๋ ฅํ๋ผ๋ ๋ฉ์์ง๊ฐ ํ์๋ฉ๋๋ค. ๊ทธ ์ด์ ๋ ๋ค์๊ณผ ๊ฐ์ต๋๋ค.
์์์ ๊ธธ์ด ๋ฐ ์์ ๊ฐ์์ ๋ผ์ธ; ๊ทธ๋ฌ๋ ๋ชจ๋ ์์ ๋ฌธ์(์:
์ค ๋ฐ๊ฟ, ํญ, ์ถ๊ฐ ๊ณต๋ฐฑ ๋ฑ)์ด ์ ๊ฑฐ๋๊ณ ๋จ์ผ
๋์ค์ ํ์๋ ๋ ๊ณต๊ฐ. ๋ฉ์์ง ์ ๋ ฅ์ ์ข ๋ฃํ๋ ค๋ฉด ๋ฆฌํด์ ๋๋ฅด์ญ์์ค.
๋จ์ผ ๋ง์นจํ(.) ๋ฌธ์๋ฅผ ์ ๋ ฅํ๊ณ ๋ค์ Enter ํค๋ฅผ ๋๋ฆ ๋๋ค. ๋ง์ง๋ง ๊ธฐ๊ฐ
๋ฌธ์๋ ์ ์ธ ๋ฉ์์ง์ ์ผ๋ถ๊ฐ ์๋๋๋ค.
-p ์ง์ ๋ ๋ชจ๋ ์ปค๋ฒ๋ฆฌ์ง ํฌ์ธํธ๊ฐ ํ์ฌ ์ ์ธ ์ํ๋ฅผ ์ธ์ํ๊ณ
์ ์ธ ์ด์ (์ ์ธ๋ ์ปค๋ฒ๋ฆฌ์ง ์ง์ ์ ๋ํด ์กด์ฌํ๋ ๊ฒฝ์ฐ)๋ฅผ ํ์ค์ผ๋ก
์ฐ์ถ. ์ด ์ต์ ์ ์ง์ ํ๋ฉด -m ์ต์ ์ ๋ฌด์๋ฉ๋๋ค.
์ฌ์ฉ ์ํ AS A VPI MODULE
Covered์ ์ ์ ๋ช ๋ น์ ์ฌ์ฉํ์ฌ VCD, LXT2 ๋๋ FST ํ์ผ์ ๋ถ์ํ์ฌ ์ถ์ํํ๋ ๊ฒ ์ธ์๋
์ปค๋ฒ๋ฆฌ์ง ์ ๋ณด, Covered๋ ์๋ฎฌ๋ ์ดํฐ ๋ด์์ VPI ๋ชจ๋๋ก ์ฌ์ฉ๋์ด
์ด ์ ๋ณด๋ฅผ ์ถ์ถํฉ๋๋ค. Covered๋ฅผ ๋คํ ํ์ผ ํ๋ ๊ธฐ์ ๋นํด VPI๋ก ์ฌ์ฉํ ๋์ ์ด์
๋ค์์ ํฌํจํ์ญ์์ค. ์ฒซ์งธ, VCD ํ์ผ์ ํนํ ์ค๋ซ๋์ ๋งค์ฐ ํด ์ ์์ต๋๋ค.
๊ท์คํ ๋์คํฌ ๊ณต๊ฐ์ ์ฌ์ฉํ๋ ์๋ฎฌ๋ ์ด์ . ๋์งธ, ์๋ฎฌ๋ ์ดํฐ๋ฅผ ์ฌ์ฉํ๋ ๊ฒฝ์ฐ
VCD, LXT2 ๋๋ FST์ ๋ค๋ฅธ ํ์์ ๋คํ ํ์ผ์ ๋ณํํ๋ ค๋ ๊ฒฝ์ฐ
์ด๋ฌํ ๋ฒ์ ์ค ํ๋์ ํ์ผ ํ์์ ์ถ๊ฐํ๋ฉด ๋์คํฌ ๊ณต๊ฐ ๋ฐ ์๊ฐ ๋น์ฉ์ผ๋ก ์ธํด ์์ฑํ ์ ์์ต๋๋ค.
Covered๊ฐ ํ์๋ก ํ๋ ๋คํ ํ์ผ์ ๋ฐ๋์งํ์ง ์์ต๋๋ค. ๋ํ Covered๋ฅผ VPI๋ก ์ฌ์ฉํ์ง๋ง
๋ชจ๋์ด ์๋ฎฌ๋ ์ด์ ์๋๋ฅผ ๋ฆ์ถ๋ฏ๋ก ์์๋ ์ด ์๊ฐ์ด ๊ฐ์ฅ ๊ฐ๋ฅ์ฑ์ด ๋์ต๋๋ค.
๋์์ธ์ ์๋ฎฌ๋ ์ด์ ํ๊ณ ํ ๋จ๊ณ๋ก ๋์์ธ ์ ์๋ฅผ ๋งค๊ธฐ๋ ๊ฒ์ด
๋ ๋จ๊ณ. ๊ฒฐ๊ณผ์ ์ผ๋ก Covered์ ๊ตฌ์ฑ ์ ํธ๋ฆฌํฐ๋ ๋ค์์ ์ํ VPI ์ง์ ๋ผ์ด๋ธ๋ฌ๋ฆฌ๋ฅผ ์์ฑํ ์ ์์ต๋๋ค.
๋ค์ ๋ฌด๋ฃ ๋ฐ ์์ ์ฉ ์๋ฎฌ๋ ์ดํฐ(Icarus Verilog, CVER ๋ฐ VCS).
์์ค์์ Covered๋ฅผ ์์ฑํ ๋ VPI ์ง์ ๋ผ์ด๋ธ๋ฌ๋ฆฌ ํ์ผ์ ์๋์ผ๋ก ๋น๋ํ๋ ค๋ฉด
"configure" ์ ํธ๋ฆฌํฐ๋ฅผ ์คํํ ๋ ๋ค์ ์ค ํ๋ ์ด์์ ์ง์ ํ๊ธฐ๋ง ํ๋ฉด ๋ฉ๋๋ค.
๊ธฐ๋ณธ ์ ์ฉ ๋๋ ํฐ๋ฆฌ: --with-iv= , --with-vcs=
๊ฒฝ๋ก>, --with-cver= . Covered๊ฐ ๊ตฌ์ฑ๋ ํ ๊ฐ๋จํ ์ ๋ ฅํ์ญ์์ค.
'๋ง๋ค๊ธฐ'์ '๋ง๋ค๊ธฐ ์ค์น'. ์ด๋ ๊ฒ ํ๋ฉด VPI ์ง์ ๋ผ์ด๋ธ๋ฌ๋ฆฌ ํ์ผ์ด ๋ค์ ์์น์ ์ค์น๋ฉ๋๋ค.
์ค์น libexec ๋๋ ํ ๋ฆฌ(๊ธฐ๋ณธ์ ์ผ๋ก ์ด ๊ฒฝ๋ก๋ /usr/local/libexec์).
๋์์ธ์ ์ปดํ์ผํ ์ค๋น๊ฐ ๋๊ธฐ ์ ์ ๋จผ์ ์ต์์ ๋ ๋ฒจ์ธ CDD ํ์ผ์ ์์ฑํด์ผ ํฉ๋๋ค.
Verilog ํ์ผ ๋ฐ PLI ํ ์ด๋ธ ํ์ผ(๋ง์ง๋ง ํ์ผ์ VCS ์ปดํ์ผ๋ฌ์๋ง ํ์ํจ).
์ด๋ ๋ค์์ ์ง์ ํ์ฌ ์ํ๋ฉ๋๋ค. -vpi (ํ์ผ ์ด๋ฆ) Covered์ ์ ์ ๋ช ๋ น์ ๋ํ ์ต์ . ์๋์ค์ธ ๊ฒฝ์ฐ
ํ์ผ ์ด๋ฆ์ -vpi ๋ค์ ์ง์ ๋๋ฉฐ, covered_vpi.v ๋ฐ covered_vpi.ta b ํ์ผ์
์์ฑ๋ ์ปค๋ฒ๋ฆฌ์ง ํ์ผ๊ณผ ํจ๊ป ์์ฑ๋ฉ๋๋ค. ์ด ๋จ๊ณ๋
๋์์ธ ํ์ผ์ด ๋ณ๊ฒฝ๋์ง ์๋ ํ ํ ๋ฒ ์ํ๋ฉ๋๋ค. ์ด์ ์ปดํ์ผํ ์ค๋น๊ฐ ๋์์ต๋๋ค.
๋ชจ์ ์คํ ์ฅ์น.
Icarus Verilog ์๋ฎฌ๋ ์ด์ ์ ์ปดํ์ผํ๋ ๊ฒฝ์ฐ ๊ฐ๋จํ '-m์ ์ถ๊ฐํ์ญ์์ค.
/usr/local/libexec/covered.vpi covered_vpi.v'๋ฅผ 'iverilog' ๋ช ๋ น์ค๋ก. ํ ๋ฒ
์ปดํ์ผ์ด ์๋ฃ๋๋ฉด ํ์์ฒ๋ผ ์์ฑ๋ ์คํ ํ์ผ์ ์คํํฉ๋๋ค.
CVER ์๋ฎฌ๋ ์ด์ ์ ์ปดํ์ผํ๋ ๊ฒฝ์ฐ ๊ฐ๋จํ ๋ค์์ ์ถ๊ฐํ์ญ์์ค.
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v'๋ฅผ
'cver' ๋ช ๋ น์ค.
VCS ์๋ฎฌ๋ ์ด์ ์ ์ปดํ์ผํ๋ ๊ฒฝ์ฐ '+vpi -load'๋ฅผ ์ถ๊ฐํ๋ฉด ๋ฉ๋๋ค.
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v'๋ฅผ 'vcs'๋ก
๋ช ๋ น์ค. ์ปดํ์ผ์ด ์๋ฃ๋๋ฉด ์์ฑ๋ ์คํ ํ์ผ์ ์ํ๋ ๋๋ก ์คํํฉ๋๋ค.
์ผ๋ฐ์ ์ผ๋ก ๊ทธ๋ ์ต๋๋ค.
NC-Verilog ์๋ฎฌ๋ ์ด์ ์ ์ปดํ์ผํ๋ ๊ฒฝ์ฐ NC-Verilog์ irun ๋ช ๋ น์ผ๋ก ์ ํํ์ฌ ๋ก๋ํฉ๋๋ค.
ํฌํจ๋ ๊ณต์ ๊ฐ์ฒด: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
'-access +rwc'๋ก ๋ชจ๋ ์ก์ธ์ค๋ฅผ ํ์ฑํํฉ๋๋ค. $covered_sim ํธ์ถ์ ๋ค์์ผ๋ก ํ๋์ฝ๋ฉํ ์ ์์ต๋๋ค.
RTL์ ์ฌ์ฉํ๊ฑฐ๋ -input input.tcl์ ์ถ๊ฐํ์ฌ CLI๋ฅผ ์ฌ์ฉํ์ฌ ๋์ ์ผ๋ก ์คํํ ์ ์์ต๋๋ค.
irun์ผ๋ก ์ ํํ์ญ์์ค. ์ฌ๊ธฐ์ input.tcl ํ์ผ์ ๋ค์๊ณผ ๊ฐ์ผ๋ฉฐ tb.dut๋
์ปค๋ฒ๋ฆฌ์ง ์ธ์คํด์ค:
ํธ์ถ -systf {$covered_sim} {"scored.cdd"} tb.dut
์ด์
์คํ๋ ๋ ์์ฑ๋ ์คํ ํ์ผ์ ์ ๋ฌํ ์ ์๋ ๋ ๊ฐ์ plusargs๊ฐ ์์ต๋๋ค.
Covered๊ฐ ๊ตฌ๋ฌธ ๋ถ์ํฉ๋๋ค. '+covered_cdd= ' ์ต์ ์ ์ ํํ๋ฉด Covered๊ฐ ๋ค์์ ์ถ๋ ฅํฉ๋๋ค.
์ ์ํด ์ง์ ๋ CDD ํ์ผ์ ์ค๊ณ ๋ด์ฉ ์ ์ ๋งค๊ธฐ๊ธฐ . ์ด๋ ๊ฒ ํ๋ฉด ์ฌ๋ฌ ๋ฒ ์คํํ ์ ์์ต๋๋ค.
๋ค์ ์ปดํ์ผํ ํ์ ์์ด ์ฌ๋ฌ ๋ค๋ฅธ CDD ํ์ผ์ ์์ฑํ๋ ์๋ฎฌ๋ ์ดํฐ
๋ฐ์ํ๋ค. '+covered_debug' ์ต์ ์ ์ฌ์ฉํ๋ฉด Covered๊ฐ ๊ณผ๋ํ ์ถ๋ ฅ์ ๋ง์ด ๋คํํ๊ฒ ๋ฉ๋๋ค.
์๋ฎฌ๋ ์ด์ ์ค ๋ด๋ถ ๋ฐํ์ ์ํ์ ๋ํด. ์ด ์ถ๋ ฅ๋ง ์์ฑ๋ฉ๋๋ค.
Covered๊ฐ --enable-debug ์ต์ ์ผ๋ก ๊ตฌ์ฑ๋ ๊ฒฝ์ฐ. ์ด plusarg ์ต์ ์
์ฃผ๋ก Covered in ๊ฐ๋ฐ์๋ฅผ ๋๊ธฐ ์ํ ๊ฒ์ด๋ฏ๋ก ์ผ๋ฐ ์ฌ์ฉ์๊ฐ ์ฌ์ฉํ ์ ์์ต๋๋ค.
๋๋ฒ๊น .
์๊ฐ
ํธ๋ ๋ฒ ์๋ฆฌ์์ค[์ด๋ฉ์ผ ๋ณดํธ]>
onworks.net ์๋น์ค๋ฅผ ์ฌ์ฉํ์ฌ ๋ณด์ฅ๋ ์จ๋ผ์ธ ์ฌ์ฉ