![](/statics/img/blank.png)
Automated Reasoning for Bluespec Designs
라이센스: 무료 파일 크기: N/A
사용자 평가: 4.0/5 - 2 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 Automated Reasoning for Bluespec Designs
이 페이지에는 BSV(블루스펙 시스템베리로그) 하드웨어 설계에 자동화된 추론을 적용하는 도구가 포함되어 있습니다. 우리는 PVS 정리 prover 및 SAL 모델 검사기로 BSV 디자인을 가져 오기위한 코드를 제공합니다.