구현한 코드가 맞는지 확인하는 방법
495
작성한 질문수 12
안녕하세요 맛비님!
질문이 있습니다!
만약, 제가 구현하고 싶은 기능이 있는데...
베릴로그 코드로 구현을 해서 이 코드가 맞는지 검증하고 싶다면?
어떻게 확인해야 하는 건가요?
검증을 위해 사용하는 언어 system verilog... 이런 거 말고..
해당 기능을 위해 구현한 베릴로그 코드가 맞는지 확인하려면, 그냥 waveform을 보면 되나요?..
파이썬 같은 언어로 예를 들면, 코드를 실행 시켰을 때 에러가 나면 그 코드가 틀렸다고 확인할 수 있는데
베릴로그에서는 어떻게 확인하는지가 궁금합니다!
답변 주시면 감사하겠습니다!
답변 1
0
안녕하세요 😀
베릴로그 코드로 구현을 해서 이 코드가 맞는지 검증하고 싶다면?
어떻게 확인해야 하는 건가요?
검증을 위해 사용하는 언어 system verilog... 이런 거 말고..
어떻게 확인하는가..?!!! -> Testbench 를 만드시면 됩니다.
System Verilog 는 2000년대에 나온 언어이고요. 우리는 그 이전에도 VHDL, Verilog HDL 과 같은 언어를 이용하여 설계도 하고 Testbench 도 만들어서 검증도 해왔습니다.
해당 기능을 위해 구현한 베릴로그 코드가 맞는지 확인하려면, 그냥 waveform을 보면 되나요?..
파이썬 같은 언어로 예를 들면, 코드를 실행 시켰을 때 에러가 나면 그 코드가 틀렸다고 확인할 수 있는데
베릴로그에서는 어떻게 확인하는지가 궁금합니다!
Waveform 을 보시거나, testbench 내부에서 값을 비교할 수 있는 로직을 구현하시면 되겠습니다.
해당 강의 내에 앞서 말한 모든 것들이 들어있어요. 응용의 영역이라 판단됩니다.
다시 말씀드리지만, Verilog, VHDL, System Verilog 전부 이런방법으로 검증합니다. (language 가 다르면 syntax 가 다를뿐이지 방법론은 유사합니다.)
방법론이 중요할 것 같아요.
즐공하세요 :)
latency 개념 구현
1
84
3
비바도 all os버전
1
68
2
초기화를 reset_n 이 '1'일 때가 아닌 '0' 일 때 실행시키는 이유 질문
1
69
2
다운로드용량
1
68
2
비바도리눅스설치
1
79
2
전체path복사넣기
1
60
2
Vivado 2025.2 리눅스 설치 후 실행 에러와 솔루션 (libxv_commontasks.so)
1
143
2
explorer.exe오류
1
102
3
mobaxterm설치오류
1
86
2
./build시, waveform 'divide color' 사용
1
53
2
Latch와 관련하여 (Time borrowing, Latch-based design)
1
123
2
clean 명령어가 안되는데, 따로 저장해줘야 하는지 궁금합니다.
0
57
1
안녕하세요 설치 관련 질문 드립니다.
1
60
3
16장 mealy 설계.
1
72
2
14장 Cycle 관련, Testbench 코드.
1
63
2
21강(16장) 초기값 설정이 적용되는 시점 질문
1
60
1
20강(15장) - 밀리 머신 관련하여 질문 드립니다.
1
64
2
build에러 질문
0
54
2
1장 ./build에서 에러가 나요
1
71
2
FPGA 강의 보드 문의 드립니다.
1
105
2
5장 DFF특성에 대한 질문
1
74
3
vivado linux 사용 이유.
1
135
2
메모리의 형태가 전체설계에 미치는 영향이 궁금합니다.
1
103
2
디스코드 멤버쉽 등업 관련 문제
1
92
2





