build에 관해서

오해할만한 질문이었네요. 

instantiataion이 되어있는 것은 알고있습니다. 그런데 tb_counter_100.v 파일 내에는 그 module의 정의가 없습니다. 예를들어 a.c 파일에서 어떤 함수를 사용하는데 그 함수의 declaration(선언)만 되어있고, definition(정의)은 다른 파일(b.c)에 되어있는데 어떻게 그 함수를 a.c파일에서 사용할 수 있는가라는 잘문입니다.

아하, build 파일 열어보시면 답이 되실 것 같아요.

xvlog, xelab 의 과정은 xilinx 문서를 참고하시면 좋을 것 같습니다. :)

xilinx 어떤 문서 말씀하시는 건가요?

키워드로 구글링 하시면 나오실꺼에요. (라고 하면 성의 없어보이니, 스스로 찾아보시는 과정도 필요하겠죠?)

https://www.xilinx.com/support/documentation/sw_manuals/xilinx2021_2/ug900-vivado-logic-simulation.pdf

즐공하세요 :)