ModelSim의 시뮬레이션에 대한 검증 절차를 작성할 수 있습니까?

Question

CPU 아키텍처를 설계하고 시뮬레이트하기 위해 "Nofollow"> ModelsIM 를 사용하고 있습니다.이것에 대해 알고있는 것처럼, 당신은 또한 당신 앞에 모든 신호를 처리하려고 할 때 시뮬레이션 데이터를 확인하는 것이 실제로 어려움이 있음을 알고 있습니다.

는 자동으로 시뮬레이션을 실행하고 일부 데이터가 올바른지 확인하기 위해 일부 검증 절차를 수행하는 방법이 있습니까? 예를 들어, 신호에 의해 자극 할 때, 다음 시계에서 신호에 의해 자극 할 때 부정적인 신호를 리턴하는 특정 구성 요소가있다.나는 이것을 확인하고 싶다.어떻게?(물론 화면에서 신호를 수동으로 확인하지 않고)

감사합니다

Answer 1

예, 이것은 자체 검사 테스트 벤치 이라고합니다.이 아이디어는 테스트하려는 구성 요소를 인스턴스화하고 구성 요소에 자극을 적용하고 어설 션 을 사용하여 출력을 확인하는 새로운 VHDL 파일을 작성하는 것입니다.그렇게하는 기본 방법은 다음과 같이 문장과 함께 있습니다.

assert my_signal = x"3456" report "my_signal has the wrong value!" severity ERROR;

.

또한 VHDL 코드의 동작을 확인하기위한 다른 언어 인 PSL을 찾으십시오.ModelSIM은 VHDL 어설 션 및 PSL을 모두 지원합니다.