검색어 입력폼

SVA를 이용한 교통 신호등 로직 설계

저작시기 2014.11 |등록일 2014.11.26 | 최종수정일 2014.12.29 파일확장자압축파일 (zip) | 가격 3,000원

소개글

구현된 교통 신호등 논리 회로를 SVA를 이용하여 상태 천이를 check하는데 있다.

컴파일 실행환경

모델심

압축파일 내 파일목록

assertion 출력 파형.jpg
traffic_light_sva1.sv
교톤신호등 SVA 예제.docx
교통신호등 출력 파형.jpg
교통신호등-출력-파형.gif

참고 자료

System Verilog Assertion
SystemVerilog 권고안
다운로드 맨위로