검색어 입력폼

교통신호등 설계를 위한 SVA와 PSL의 이용 예제

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

컴파일 실행환경

모델심

압축파일 내 파일목록

traffic_light_sva1.sv
traffic_light_psl.psl
traffic_light_psl.do
교통신호등 SVA 및 PSL 예제1.jpg
교통신호등 SVA 및 PSL 예제.docx
교통신호등 SVA 및 PSL 예제.jpg
교통신호등 assertion 보고.jpg

참고 자료

없음
다운로드 맨위로