HDL과 검증

검증에서 C 언어 등으로 작성한 참조 모델(골든 모델)을 사용하는 목적으로 올바른 것은?

  1. A회로를 제조하기 위한 설계도로서 그대로 공장에 넘긴다
  2. B회로와 같은 기능을 다른 방법으로 계산하고, 그 결과를 기대값으로서 회로의 출력과 비교한다
  3. C회로의 동작을 느리게 하여 보기 쉽게 한다
정답과 해설 보기

정답: B. 회로와 같은 기능을 다른 방법으로 계산하고, 그 결과를 기대값으로서 회로의 출력과 비교한다

참조 모델은 회로가 구현해야 할 기능을 타이밍을 신경 쓰지 않고 소프트웨어로 단순하게 작성한 것입니다. 같은 입력을 회로와 참조 모델 양쪽에 주고 결과를 비교하면, 대량의 랜덤 입력에 대해서도 기대값을 자동으로 만들 수 있습니다. 설계와 같은 사람이 같은 오해를 바탕으로 만들면 오류를 놓치므로, 사양서에서 독립적으로 만드는 것이 중요합니다.

  • A. 제조에는 레이아웃 데이터를 넘깁니다.
  • B. 올바릅니다. 독립적으로 만든 모델과의 일치를 확인합니다.
  • C. 속도를 바꾸는 것이 아닙니다.
이 분야 연습하기 분야로 돌아가기

HDL과 검증의 다른 문제

  1. 시뮬레이션 결과를 VCD 등의 형식 파일로 내보내는 주된 목적은?
  2. 랜덤 입력을 사용하는 테스트에서 난수 시드(seed)를 기록해 두는 이유로 올바른 것은?
  3. SystemVerilog의 제약 조건 기반 랜덤 검증(constrained random verification)에 대한 설명으로 올바른 것은?
  4. 회로 설계에서 수행하는 회귀 테스트(regression test)의 설명으로 올바른 것은?
  5. SystemVerilog의 logic형의 장점으로 올바른 것은?

이 분야의 비교