HDL과 검증

HDL 검증에서 사용되는 Lint 도구의 역할로 올바른 것은?

  1. A회로의 먼지(보푸라기)를 칩에서 제거하는 장치
  2. B시뮬레이션 파형을 아름답게 표시하는 도구
  3. C시뮬레이션 없이 기술을 검사하여 비트 폭 불일치, 의도하지 않은 래치, 합성할 수 없는 작성 방식 등의 문제를 찾아낸다
정답과 해설 보기

정답: C. 시뮬레이션 없이 기술을 검사하여 비트 폭 불일치, 의도하지 않은 래치, 합성할 수 없는 작성 방식 등의 문제를 찾아낸다

Lint 도구는 HDL 기술을 규칙에 비추어 정적으로 검사하고, 문법상 올바르더라도 문제가 되기 쉬운 작성 방식을 지적합니다. 예를 들어 폭이 다른 신호의 대입, 감지 목록의 누락, 래치 추론, 블로킹과 논블로킹의 혼재, 클록 취급의 오류 등입니다. 테스트를 만들지 않아도 실행할 수 있으므로 설계 초기 단계부터 사용하면 이후 검증의 수고를 줄일 수 있습니다.

  • A. 물리적인 청소 장치가 아닙니다.
  • B. 파형 표시 도구가 아닙니다.
  • C. 올바릅니다. 초기 단계에서 손쉽게 오류를 찾을 수 있습니다.
이 분야 연습하기 분야로 돌아가기

HDL과 검증의 다른 문제

  1. 논리 합성이나 배치 배선 후의 회로(게이트 레벨 넷리스트)에서 지연 정보를 넣어 시뮬레이션하는 주된 목적은?
  2. 위 기술처럼 플립플롭을 거치지 않고 조합 회로의 출력이 자신의 입력으로 되돌아오는 형태를 무엇이라 하며, 왜 피해야 하는가?
  3. 위 기술을 FPGA용으로 논리 합성하면 일반적으로 어떻게 처리되는가?
  4. 조합 회로에서 if・else if를 길게 이은 기술과 조건이 서로 겹치지 않는 case문 기술을 비교했을 때의 설명으로 올바른 것은?
  5. Verilog의 등호 연산자 "=="와 "==="의 차이로 올바른 것은?

이 분야의 비교