이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 verilator_coverage 명령입니다.
프로그램:
이름
verilator_coverage - Verilator 커버리지 분석기
개요
verilator_coverage --도움말
verilator_coverage --버전
verilator_coverage --주석 달기
verilator_coverage -write merged.dat -read ...
Verilator_coverage는 Verilator 커버리지 보고서를 처리합니다.
--anotate를 사용하면 지정된 데이터 파일을 읽고 주석이 달린 소스 코드를 생성합니다.
적용 범위 측정항목에 주석이 추가되었습니다. 동일한 회선에 여러 커버리지 지점이 있는 경우
추가 포인트를 보고하기 위해 추가 라인이 삽입됩니다.
추가 Verilog 표준 인수는 다음을 찾는 데 필요한 검색 경로를 지정합니다.
커버리지 분석이 수행된 소스 코드입니다.
정확한 적용 비율을 얻으려면 Emacs에서 log/coverage.pl을 읽고 싶을 수도 있습니다.
관심 있는 통계만 포함하도록 Mx 유지선을 수행합니다.
절대로 발생해서는 안 되는 Verilog 조건의 경우 $stop 문을 추가해야 합니다. 이것
다음 빌드 중에 적용 범위가 제거됩니다.
인수
파일 이름
입력 데이터 파일을 지정합니다. 반복하여 여러 입력을 읽을 수 있습니다. 데이터 파일이 없는 경우
지정하면 기본적으로 Coverage.dat가 읽혀집니다.
--주석 출력 디렉토리
주석이 달린 적용 범위 데이터가 있는 소스 파일이 있어야 하는 디렉터리 이름을 지정합니다.
에 썼습니다.
--주석-모두
모든 파일이 표시되도록 지정합니다. 기본적으로 다음이 있는 소스 파일만
낮은 적용 범위는 출력 디렉터리에 기록됩니다.
--주석-분 계산
적용 지점이 있는 경우 플래그를 지정해야 하는 최소 발생 횟수를 지정합니다.
지정된 임계값을 포함하지 않습니다. 기본값은 10입니다.
--도움
이 메시지와 프로그램 버전을 표시하고 종료합니다.
--계급
각 테스트의 상대적 중요성을 나열한 실험 보고서를 인쇄합니다.
모든 보장 포인트. 보고서에는 다음 횟수를 나타내는 "Covered"가 표시됩니다.
테스트에서 다루는 포인트 버킷이 있는 경우 테스트는 특정 지점을 다루는 것으로 간주됩니다.
최소 1개입니다. "순위" 열의 숫자가 높을수록 테스트가 더 많다는 것을 나타냅니다.
중요하며 순위 0은 점수를 포괄하기 위해 테스트를 실행할 필요가 없음을 의미합니다.
"RankPts"는 이 테스트가 전체에 기여할 적용 범위 지점 수를 나타냅니다.
모든 테스트가 가장 높은 순위에서 가장 낮은 순위의 순서로 실행되는 경우 적용 범위입니다.
--풀리다
--write를 사용하여 적용 범위 데이터를 결합하는 경우 출력 후 모든 입력 파일의 링크를 해제합니다.
이 생성되었습니다.
--번역
프로그램 버전을 표시하고 종료합니다.
--쓰다 파일 이름
모든 파일에 걸쳐 합산된 집계 적용 범위 결과를 지정합니다.
주어진 파일 이름에 기록됩니다. 이는 많은 순차적 항목을 결합하는 스크립트에 유용합니다.
하나의 마스터 커버리지 파일로 실행됩니다.
베릴로그 인수
다음 인수는 GCC, VCS 및 대부분의 Verilog 프로그램과 호환됩니다.
+libext+내선+내선...
Verilog 파일의 확장자를 정의합니다.
+정의+였다+가치 =항목 -D였다=가치
주어진 변수를 정의합니다.
+incdir+DIR =항목 -IDIR
포함 파일을 찾기 위한 디렉터리를 지정합니다.
-f 파일
추가 명령줄 인수가 포함된 파일을 지정합니다.
-y DIR
모듈 검색 디렉터리를 지정합니다.
유통
최신 버전은 다음에서 구할 수 있습니다.http://www.veripool.org/>.
저작권 2003-2015 by Wilson Snyder. Verilator는 무료 소프트웨어입니다. 재배포할 수 있어요
및/또는 GNU Lesser General의 조건에 따라 Verilator 내부를 수정합니다.
Public License 버전 3 또는 Perl Artistic License 버전 2.0.
작가
윌슨 스나이더[이메일 보호]>
onworks.net 서비스를 사용하여 온라인으로 verilator_coverage를 사용하세요
