대상 - 클라우드의 온라인

프로그램:

이름

Covered - Verilog 코드 커버리지 분석기

통사론

적용 [글로벌 옵션] 점수 [옵션]
적용 [글로벌 옵션] 병합 [옵션] 기존_데이터베이스 데이터베이스_병합+
적용 [글로벌 옵션] 신고 [옵션] 데이터베이스_파일
적용 [글로벌 옵션] 순위 [옵션] 데이터베이스_투_랭크 데이터베이스_투_랭크+
적용 [글로벌 옵션] 제외 [옵션] exclude_id+ 데이터베이스_파일

기술

대상 방법을 결정하는 데 유용할 수 있는 Verilog 코드 커버리지 분석 도구입니다.
진단 테스트 세트가 테스트 대상 설계를 다루고 있습니다. 커버드 읽기
진단 실행에서 Verilog 디자인 파일 및 VCD, LXT2 또는 FST 형식의 덤프 파일 및
다음을 사용하여 커버리지 설명 데이터베이스(CDD) 파일이라는 데이터베이스 파일을 생성합니다.
점수 명령. Covered의 점수 명령을 사용하여 CDD 파일을 생성할 수도 있습니다.
Covered를 테스트벤치에서 VPI 모듈로 사용하기 위한 Verilog 모듈
시뮬레이션과 병렬로 커버리지 정보(참조 사용 엄폐 AS A VPI MODULE).
결과 CDD 파일을 동일한 디자인의 다른 CDD 파일과 병합하여 생성할 수 있습니다.
병합 명령을 사용하여 누적된 커버리지. CDD 파일이 생성되면 사용자는 다음을 수행할 수 있습니다.
Covered를 사용하여 사람이 읽을 수 있는 다양한 커버리지 보고서를 ASCII 형식으로 생성하거나
Covered의 GUI는 보고 명령을 사용하여 커버리지 결과를 대화식으로 볼 수 있습니다. 만약에
사용자가 커버리지에서 제외하고자 하는 커버되지 않은 커버리지 포인트가 발견되면, 이는
명령줄 제외 명령 또는 GUI 내에서 처리해야 합니다. 여러 때
CDD 파일은 동일한 디자인으로 생성되며, 사용자는 다음의 커버리지 순위를 얻을 수 있습니다.
회귀 테스트를 위한 이상적인 순서를 결정하고 이해하기 위한 CDD 파일
새 항목을 적중할 수 없기 때문에 회귀에서 제외할 수 있는 CDD 파일
커버리지 포인트. 또한 Covered의 점수 명령의 일부로 경쟁 조건
가능성은 디자인 파일에서 발견되며 무시하거나 경고로 표시할 수 있습니다.
또는 오류로 표시됩니다. 경합 조건을 오류로 지정하면 Covered도 사용할 수 있습니다.
경쟁 조건 검사기로.

글로벌 옵션

이 옵션은 키워드 바로 뒤에 위치합니다. 적용 명령줄에서. 그들
모든 명령에 사용할 수 있습니다(예외: -v and -h)에서 동일한 효과가 있습니다.
각각의 경우.

-B 난독화. 출력하기 전에 디자인에 민감한 모든 이름을 난독 처리합니다.
사용자가 읽을 수 있는 형식. 이 옵션은 출력을 공유할 때 유용합니다.
디버깅 목적으로 Covered 개발자.

-D 디버그. 도구 문제 디버깅에 유용한 정보를 표시합니다. 참고: 이
옵션은 이제 --enable-debug로 covered이 빌드된 경우에만 사용할 수 있습니다.
구성 옵션.

-h 돕다. 이 사용 정보를 표시합니다.

-P [파일 이름]
프로파일링 모드. 생성할 내부 소스 코드 프로파일러를 켭니다.
실행 명령의 프로파일링 보고서를 지정된 파일 이름 또는 그렇지 않은 경우
파일 이름 라는 파일에 존재합니다. 덮여.교수. 이 옵션은
경우 --enable-프로파일링 Covered가 있을 때 구성 옵션이 지정되었습니다.
세워짐.

-Q 조용한 모드. 모든 출력이 억제됩니다.

-T 간결한 모드. 경고를 제외한 모든 출력이 억제됩니다.
메시지 및 Covered 헤더 정보.

-v 버전. 현재 Covered 버전을 표시합니다.

명령

점수 Verilog 파일 및 VCD/LXT2/FST 덤프 파일을 구문 분석하여 사용되는 데이터베이스 파일 생성
병합 및 보고.

병합 둘 이상의 데이터베이스 파일을 하나로 병합합니다.

신고 데이터베이스 파일에서 사람이 읽을 수 있는 커버리지 보고서를 생성하거나 커버리지를 시작합니다.
GUI를 보고합니다.

순위 회귀를 실행하기 위한 이상적인 순서를 지정하고 다음을 지정하는 보고서를 생성합니다.
새로운 적용 범위 정보를 추가하지 않는 CDD 파일(따라서 제외될 수 있음)
원하는 경우 회귀에서).

제외
하나 이상의 커버리지 포인트 허용(보고서에서 제외 ID로 식별됨)
-x 옵션으로 생성됨) 제외 속성이 토글되도록(다음에 포함)
제외 또는 포함하려면 제외), 제외 속성이 제외로 설정된 경우
선택적으로 제외 이유를 연결하고 저장할 수 있습니다.
지정된 CDD 파일.

SCORE COMMAND

다음 옵션은 score 명령에 유효합니다.

-A 오블 OVL 어설션이 어설션 적용 범위에 사용되도록 합니다. 이 플래그를 지정해야 합니다.
보고서에 어설션 커버리지 메트릭이 필요한 경우 score 명령에
명령.

-CDD 데이터베이스
-o 옵션과 동일합니다. 채점 중인 CDD 파일이 점수에 대한 입력일 때 유용합니다.
명령.

-클리 [파일 이름]
VCD/LXT2/FST 덤프 파일 채점 중에 명령줄 디버거가 사용되도록 합니다.
If 파일 이름 이 지정되면 이 파일에는 이전 호출에서 저장된 정보가 포함됩니다.
CLI에서 저장하고 이 파일에 포함된 기록이 재생되도록 합니다.
CLI 명령 프롬프트 이전. 만약에 파일 이름 지정하지 않으면 CLI 프롬프트가
시뮬레이션 시작 시 즉시 사용할 수 있습니다. 이 옵션은
Covered가 다음과 같이 구성된 경우 --enable-디버그 옵션을 선택합니다.

-보수적인
이 옵션을 지정하면 오류를 유발할 수 있는 코드가 포함된 모든 논리 블록이
잠재적으로 부정확한 보장 결과로 이어지는 보장 불일치는
보장 고려 대상에서 제외되었습니다. 무엇에 대한 자세한 내용은 사용 설명서를 참조하십시오.
코드 유형에 따라 적용 범위가 부정확해질 수 있습니다.

-dumpvars [파일 이름]
-vcd 또는 -lxt 옵션 없이 이 옵션을 지정하면 디자인이 구문 분석됩니다.
CDD 파일이 생성되고 이름이 지정된 최상위 Verilog 모듈 파일 파일 이름 (이 경우
값이 지정됨) 또는 "covered_dump.v"(만약 파일 이름 지정되지 않음)이 생성됩니다.
이 파일은 시뮬레이터 컴파일에서 덤프 파일을 생성하는 데 사용됩니다.
지정된 CDD 파일에 대한 적용 범위를 얻기 위해 최적화되었습니다. -vcd 또는
-lxt 옵션이 지정되면 이 옵션은 적용되지 않습니다. 에 대한 사용 설명서를 참조하십시오.
이 옵션을 사용하는 방법에 대한 자세한 정보.

-D 정의_이름
지정된 이름을 1로 정의합니다.

-D define_name=값
지정된 이름을 지정된 값으로 정의합니다.

-e 블록_이름
점수를 매기지 않을 모듈, 작업, 기능 또는 명명된 시작/끝 블록의 이름. 원인 모두
이 블록 아래 Verilog 트리의 하위 블록도 점수를 매기지 않습니다.

-에아 적용 범위를 고려하지 않도록 모든 항상 차단을 제외합니다.

-EC 적용 대상에서 모든 연속 할당을 제외합니다.

-에이 커버리지 고려 대상에서 모든 초기 블록을 제외합니다.

-만약에 커버리지 고려 대상에서 모든 최종 블록을 제외합니다.

ep [name]
'// coverage off'와 '// coverage on' pragma 사이에 있는 모든 코드를 제외합니다.
디자인 안에 내장되어 있습니다. 만약에 name 가 지정되면 pragma의 키워드는
기본 "커버리지" 대신 해당 이름으로 변경되어 사용자가
다른 도구와 충돌하는 경우 pragma의 모양을 변경하십시오.

-F module_name=[in_expr,]out_expr
모듈에 있는 FSM을 찾을 위치를 파서에 나타냅니다. 모듈 _ 이름 어느
라는 입력 상태 표현식이 있습니다. in_expr 호출된 출력 상태 표현
out_expr. 면 in_expr 지정되지 않고, out_expr 입력 및
출력 상태 표현

-f 파일 이름
구문 분석할 추가 인수가 포함된 파일의 이름입니다.

-fst 파일 이름
설계 점수를 매길 FST 덤프 파일의 이름입니다. -vcd, -lxt 또는 이 옵션이 아닌 경우
Covered는 디자인에서 초기 CDD 파일만 생성하며
디자인 점수를 매기려고 합니다.

-g [모듈 이름=](1|2|3)
사용자가 파서를 Verilog의 특정 세대로 제한할 수 있습니다.
특정 모듈 또는 전체 설계에 대한 표준, 여기서 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. 만약에 모듈_이름= 가 지정되면 파서는 다음을 사용합니다.
해당 모듈에만 Verilog 표준을 지정하여 나머지 설계는
글로벌 스탠다드를 사용합니다. 기본적으로 글로벌 표준은 가장 최근에 설정됩니다.
버전(3). 이 옵션은 지정된 호출에 대해 두 번 이상 지정할 수 있습니다.
점수 명령; 그러나 -g 옵션이 전역 값 이상을 지정하는 경우(즉,
~없이 모듈= 접두사), 마지막 옵션 값만 사용됩니다.

-h 이 도움말 정보를 표시합니다.

-I 예배 규칙서
포함된 Verilog 파일을 찾기 위한 디렉터리입니다.

-i instance_name
트리의 맨 위에 있는 모듈에 대한 Verilog 계층적 참조
득점. 이 옵션은 적용 범위를 확인하는 모듈이 최상위 수준이 아닌 경우에 필요합니다.
디자인의 모듈. 지정되지 않은 경우, -t 값이 사용됩니다.

-lxt 파일 이름
설계 점수를 매길 LXT2 덤프 파일의 이름입니다. -vcd, -fst 또는 이 옵션이 아닌 경우
Covered는 디자인에서 초기 CDD 파일만 생성하며
디자인 점수를 매기려고 합니다.

-m 메시지
사용자가 이 CDD 파일에 대한 정보를 지정할 수 있습니다. 이 정보는
무엇이든 될 수 있습니다(공백이 있는 메시지는 큰따옴표로 묶어야 합니다.
표시), 그러나 더 쉽게 시뮬레이션 인수에 대한 내용을 포함할 수 있습니다.
CDD 파일을 재생성하기 위해 CDD 파일을 해당 시뮬레이션에 연결합니다.

-o 데이터베이스
적용 범위 정보를 쓸 데이터베이스의 이름입니다. 지정하지 않으면 출력
데이터베이스 파일 이름은 "cov.cdd"입니다.

-p 파일 이름
중간 전처리기 출력을 저장하는 데 사용되는 기본 파일 이름을 재정의합니다.

-P 매개변수_범위=값
값이 있는 지정된 매개변수에 대해 defparam을 수행합니다.

-RS 경합 상태 검사를 위반하면 위반 논리 블록이 제거됩니다.
커버리지 고려에서 레이스와 관련된 모든 출력이 억제됩니다.
조건 위반. 인종에 대한 자세한 내용은 사용자 문서를 참조하십시오.
상태 확인 사용법.

-rW 경합 상태 검사를 위반하면 위반 논리 블록이 제거됩니다.
적용 범위 고려에서 경쟁 조건 위반이 출력됩니다. 이것은
경쟁 조건 처리를 위한 기본 동작입니다. 자세한 내용은 사용자 설명서를 참조하십시오.
경쟁 조건 확인 사용에 대한 정보.

-답장 경쟁 조건 검사를 위반하면 이유가 출력되고 점수가 종료됩니다.
즉시. 경합 상태에 대한 자세한 내용은 사용자 설명서를 참조하십시오.
사용량 확인.

-rI[=모듈 name]
If 모듈 name 가 지정되지 않은 경우 경합 상태 검사는 모두 건너뜁니다.
전체 디자인. 만약에 모듈 name 가 지정되면 경합 상태 확인을 건너뜁니다.
지정된 모듈에 대해. 인종에 대한 자세한 내용은 사용자 문서를 참조하십시오.
상태 확인 사용법.

-RP[=name])
경합 상태 확인에서 특정 코드를 무시하기 위해 포함된 pragma를 사용합니다.
고려(만약 name pragma 키워드로 사용됨). 사용자 보기
경합 상태 확인 사용법에 대한 자세한 내용은 설명서를 참조하십시오.

-S 시뮬레이션이 완료된 후 시뮬레이션 통계를 출력합니다. 이 정보는
현재 Covered 개발자에게만 유용합니다.

-t 최고 수준 모듈
측정할 최상위 모듈의 모듈 이름을 지정합니다. 참고
이 모듈은 시뮬레이터에서 최상위 모듈일 필요가 없습니다. 이 필드
score 명령에 대한 모든 호출에 필요합니다.

-top_ts 시간 척도
이 옵션은 -vpi 또는 -dumpvars 옵션이 지정된 경우에만 유효합니다.
이 옵션을 사용하면 생성된 Verilog 모듈에 대한 시간 척도를 지정할 수 있습니다.
-vpi/-dumpvars 옵션으로 생성됩니다. 이 옵션을 지정하지 않으면
생성된 모듈에 대해 시간 척도가 생성됩니다. 의 가치 시간 척도 is
다음과 같이 지정됩니다.

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

다양한 값 사이에 공백이 필요한 경우 전체 내용을
시간 척도 큰따옴표로.

-ts 번호
채점이 발생하면 이 옵션을 통해 사용자는 시뮬레이터가 얼마나 멀리 있는지 확인할 수 있습니다.
현재 시간 단계를 표준 출력으로 출력하여 진행됩니다. 의 가치
번호 출력하기 전에 시뮬레이션할 수 있는 시간 단계 수를 지정합니다.
현재 시간 단계(출력 스트림에 대한 호출이 줄어듦).

-T (최소|통상|최대)
다음 형식의 지연 표현식이 발생할 때 사용할 값을 지정합니다.
최소:일반:최대 이 옵션을 지정하지 않으면 기본적으로 'typ' 선택이 사용됩니다.

-v 파일 이름
점수를 매길 특정 Verilog 파일의 이름입니다.

-vcd 파일 이름
디자인 점수를 매길 VCD 덤프 파일의 이름입니다. -lxt, -fst 또는 이 옵션이 아닌 경우
Covered는 디자인에서 초기 CDD 파일만 생성하며
디자인 점수를 매기려고 합니다.

-vpi [파일 이름]
-vcd, -lxt 또는 -fst 옵션 없이 이 옵션을 지정하면 디자인이
파싱되면 CDD 파일이 생성되고 이름이 지정된 최상위 Verilog 모듈 파일이 생성됩니다. 파일 이름
(이 값이 지정된 경우) 또는 "covered_vpi.v"(경우 파일 이름 지정되지 않음)입니다
라는 PLI 테이블 파일과 함께 생성됨 파일 이름.ta b 또는 "covered_vpi.v.ta b".
이 두 파일은 Covered를 다음과 같이 사용하기 위해 시뮬레이터를 컴파일하는 데 사용됩니다.
VPI 모듈. -vcd, -lxt 또는 -fst 옵션이 지정된 경우 이 옵션은
효과가 없습니다.

-위그노어
코드 구문 분석 및 시뮬레이션 중에 경고 출력을 억제합니다.

-y 예배 규칙서
지정되지 않은 Verilog 파일을 찾기 위한 디렉터리입니다.

+libext+.확대[+.확대]*+
스코어링을 허용하는 Verilog 파일의 확장자.

합병 COMMAND

다음 옵션은 병합 명령에 유효합니다.

-d 파일 이름
포함할 CDD 파일을 검색할 디렉터리입니다. 이 옵션은 함께 사용됩니다.
와 더불어 -내선 결정에 사용할 파일 확장자를 지정하는 옵션
디렉토리의 어떤 파일이 CDD 파일인지.

-R (먼저|지난|모든| |낡은)
제외 이유 해결 방법을 지정합니다. 두 개 이상의 CDD 파일이 있는 경우
병합되는 경우 동일한 커버리지 포인트에 대해 지정된 제외 사유가 있는 경우
제외 이유를 해결해야 합니다(동일한 문자열 값이 아닌 경우). 만약에
이 옵션이 지정되지 않고 충돌이 발견되면 Covered는 대화식으로
처리 방법에 대해 각 제외에 대한 입력을 요청합니다. 이 옵션이
지정된 경우 Covered에게 모든 제외 사유 충돌을 처리하는 방법을 알려줍니다. 그만큼
값은 다음과 같습니다:.br

먼저 - 첫 번째 제외 사유가 포함된 CDD 파일을 사용합니다.

지난 - 마지막 제외 사유가 포함된 CDD 파일을 사용합니다.

모든 - 모든 제외 사유가 사용(연결)됩니다.

- 지정된 최신 제외 사유를 사용하십시오.

낡은 - 지정된 가장 오래된 제외 사유를 사용하십시오.

-내선 확장자
와 함께 사용 -d 옵션. 그렇지 않은 경우 -내선 옵션은
명령줄에서는 기본값 '.cdd'가 사용됩니다. 마침표(.)는
지정됩니다.

-f 파일 이름
구문 분석할 추가 인수가 포함된 파일의 이름입니다.

-h 이 도움말 정보를 표시합니다.

-m 메시지
사용자가 이 CDD 파일에 대한 정보를 지정할 수 있습니다. 이 정보는
무엇이든 될 수 있습니다(공백이 있는 메시지는 큰따옴표로 묶어야 합니다.
점수).

-o 파일 이름
새 데이터베이스를 출력할 파일입니다. 이 인수를 지정하지 않으면
기존_데이터베이스 출력 데이터베이스 이름으로 사용됩니다.

REPORT COMMAND

다음 옵션은 보고서 명령에 유효합니다.

-b 조합 논리 상세 출력이 보고되고 표현식이 벡터인 경우
이 옵션은 커버리지 정보를 비트 단위로 출력합니다.

-c If -v 이 지정되면 적용되는 메트릭만 표시됩니다. 기본값은 노출되지 않은 상태로 표시하는 것입니다.
정보 만.

-d (s|d|v)
적용 범위 보고서 정보에서 제공하는 세부 수준(s = 요약, d =
상세, v = 장황). 기본값은 요약입니다.

-e 지정된 모든 커버리지 포인트와 함께 제외된 모든 커버리지 포인트를 보고서 파일에 출력합니다.
제외 사유가 있는 경우 -d d or -d v 옵션이 지정됩니다.

-f 파일 이름
구문 분석할 추가 인수가 포함된 파일의 이름입니다.

-h 이 도움말 정보를 표시합니다.

-i 모듈 대신 인스턴스에 대한 커버리지 정보를 제공합니다.

-m [l][t][c][f][r][a][m]
보고할 메트릭 유형입니다. l=라인, t=토글, c=조합 로직, f=FSM 상태
및 상태 전이, r=경합 조건, a=어설션, m=메모리. 기본값은 LTCF.

-o 파일 이름
보고서 정보를 출력할 파일입니다. 기본값은 표준 출력입니다.

-s 커버리지 정보가 포함되지 않은 모듈/인스턴스가 출력되는 것을 억제합니다.
보고서에. 잠재적으로 무의미한 정보를 제거하는 데 사용됩니다.
보고합니다.

-v 더 이상 사용되지 않습니다. '-dd' 또는 '-d v'로 대체되었습니다.

-전망 대화형 커버리지 보고를 위한 GUI 인터페이스를 시작합니다.

-w (번호)
Verilog 출력에 사용할 수 있는 최대 줄 너비(문자)를 지정합니다.
정보. 이 옵션을 지정하지 않으면 보고서의 모든 Verilog 코드가
원래 Verilog 코드에 지정된 것과 동일한 형식을 유지합니다. 이 경우
옵션이 지정되면 Verilog 코드는 현재
라인이 최대 라인 너비에 도달하면 텍스트를 래핑합니다. 그만큼
기본 최대 줄 너비는 115자입니다(숫자가 없는 경우 이 값이 사용됩니다.
-w 옵션으로 지정됨). -w 옵션으로 숫자를 지정하면 이
값은 최대 선 너비에 사용됩니다.

-x 내에서 커버되지 않고 제외된 모든 커버리지 포인트의 제외 ID를 출력합니다.
커버리지 포인트의 관련 상세 출력 앞의 괄호. 그만큼
제외 ID는 제외를 통해 커버리지 포인트를 제외/포함하는 데 사용할 수 있습니다.
명령.

계급 COMMAND

다음 옵션은 rank 명령과 함께 유효합니다.

-d 파일 이름
포함할 CDD 파일을 검색할 디렉터리입니다. 이 옵션은 함께 사용됩니다.
와 더불어 -내선 결정에 사용할 파일 확장자를 지정하는 옵션
디렉토리의 어떤 파일이 CDD 파일인지.

-깊이 번호
각 커버리지 포인트에 도달하는 데 필요한 CDD 파일의 최소 수를 지정합니다. 그만큼
의 가치 번호 1보다 커야 합니다. 기본값은 XNUMX입니다.

-내선 확장자
와 함께 사용 -d 옵션. 그렇지 않은 경우 -내선 옵션은
명령줄에서는 기본값 '.cdd'가 사용됩니다. 마침표(.)는
지정됩니다.

-f 파일 이름
구문 분석할 추가 인수가 포함된 파일의 이름입니다.

-h rank 명령에 대한 도움말 정보를 표시합니다.

-이름만
지정된 경우 다음에서 실행해야 하는 필수 CDD 파일 이름만 출력합니다.
실행해야 하는 순서입니다. 이 옵션을 설정하지 않으면 보고서 스타일 출력이
추가 정보와 함께 제공됩니다. 이 옵션은 스크립트에서 유용합니다.
CDD 파일 이름만 출력으로 실행하기를 원합니다.

-o 파일 이름
순위 정보를 출력할 파일명. 기본값은 표준 출력입니다.

-필수-cdd 파일 이름
순위를 매기기 위해 필수 CDD로 간주되어야 하는 CDD의 이름(즉,
어떤 이유로든 제외됨).

-필수 목록 파일 이름
필수 CDD로 간주되어야 하는 CDD 목록이 포함된 파일의 이름
순위에. 파일 이름은 공백이나 개행 문자로 구분해야 합니다.
파일 내에서.

-v rank 명령이 실행될 때 자세한 출력이 표시되도록 합니다. 그것은 출력
순위 알고리즘의 각 단계에 대한 진단 정보
런타임, 포함/제외된 CDD 파일 수 및 적용 범위 수 포함
각 단계에서 순위가 ​​매겨진 CDD가 적중 한 포인트. 이 정보는
순위 알고리즘과 그 성능에 관심이 있는 사람들에게 유용합니다.

-가중 주장 번호
고유하지 않은 순위를 지정하는 데 사용되는 어설션 적용 범위에 대한 상대적 가중치를 지정합니다.
커버리지 포인트. 의 가치 번호 에 사용된 값에 상대적입니다.
-무게 토글, -중량 기억, -중량 빗, -무게-fsm and -체중선 순위
명령 옵션.

-중량 빗 번호
순위를 매기는 데 사용되는 조합 논리 범위에 대한 상대적 가중치를 지정합니다.
고유하지 않은 커버리지 포인트. 의 가치 번호 에 사용된 값에 상대적입니다.
전에, -무게 토글, -중량 기억, -가중 주장, -무게-fsm and -체중선
순위 명령 옵션.

-무게-fsm 번호
FSM 상태 및 상태 전환 적용 범위에 대한 상대적 가중치를 지정합니다.
고유하지 않은 커버리지 포인트의 순위를 매깁니다. 의 가치 번호 값에 상대적입니다.
에서 사용되는 -무게 토글, -중량 기억, -중량 빗, -가중 주장 and
-체중선 순위 명령 옵션.

-체중선 번호
고유하지 않은 커버리지의 순위를 매기는 데 사용되는 라인 커버리지에 대한 상대적 가중치를 지정합니다.
포인트들. 의 가치 번호 에 사용된 값에 상대적입니다. -무게 토글,
-중량 기억, -중량 빗, -무게-fsm and -가중 주장 순위 명령 옵션.

-중량 기억 번호
고유하지 않은 범위의 순위를 매기는 데 사용되는 메모리 범위에 대한 상대적 가중치를 지정합니다.
포인트들. 의 가치 번호 에 사용된 값에 상대적입니다. -무게 토글,
-체중선, -중량 빗, -무게-fsm and -가중 주장 순위 명령 옵션.

-무게 토글 번호
고유하지 않은 범위의 순위를 매기는 데 사용되는 토글 범위에 대한 상대적 가중치를 지정합니다.
포인트들. 의 가치 번호 에 사용된 값에 상대적입니다. -중량 기억,
-체중선, -중량 빗, -무게-fsm and -가중 주장 순위 명령 옵션.

들어오지 못하게 하다 COMMAND

다음 옵션은 exclude 명령에 유효합니다.

-f 파일 이름
exclude 명령에 대한 추가 옵션이 포함된 파일의 이름을 지정합니다.
이 옵션은 단일 호출에 필요한 만큼 여러 번 지정할 수 있습니다.
명령을 제외합니다.

-h exclude 명령에 대한 사용 정보를 생성합니다.

-m 제외 메시지가 모든 커버리지 포인트와 연결되도록 허용합니다.
포함된 상태에서 제외된 상태로. 만나는 커버리지 포인트마다
이 요구 사항을 충족하려면 사용자에게 이유를 입력하라는 메시지가 표시됩니다. 그 이유는 다음과 같습니다.
임의의 길이 및 임의 개수의 라인; 그러나 모든 서식 문자(예:
줄 바꿈, 탭, 추가 공백 등)이 제거되고 단일
나중에 표시될 때 공간. 메시지 입력을 종료하려면 리턴을 누르십시오.
단일 마침표(.) 문자를 입력하고 다시 Enter 키를 누릅니다. 마지막 기간
문자는 제외 메시지의 일부가 아닙니다.

-p 지정된 모든 커버리지 포인트가 현재 제외 상태를 인쇄하고
제외 이유(제외된 커버리지 지점에 대해 존재하는 경우)를 표준으로
산출. 이 옵션을 지정하면 -m 옵션은 무시됩니다.

사용 엄폐 AS A VPI MODULE

Covered의 점수 명령을 사용하여 VCD, LXT2 또는 FST 파일을 분석하여 추상화하는 것 외에도
커버리지 정보, Covered는 시뮬레이터 내에서 VPI 모듈로 사용되어
이 정보를 추출합니다. Covered를 덤프 파일 판독기에 비해 VPI로 사용할 때의 이점
다음을 포함하십시오. 첫째, VCD 파일은 특히 오랫동안 매우 클 수 있습니다.
귀중한 디스크 공간을 사용하는 시뮬레이션. 둘째, 시뮬레이터를 사용하는 경우
VCD, LXT2 또는 FST와 다른 형식의 덤프 파일을 변환하려는 경우
이러한 버전 중 하나에 파일 형식을 추가하면 디스크 공간 및 시간 비용으로 인해 생성할 수 있습니다.
Covered가 필요로 하는 덤프 파일은 바람직하지 않습니다. 또한 Covered를 VPI로 사용하지만
모듈이 시뮬레이션 속도를 늦추므로 소요된 총 시간이 가장 가능성이 높습니다.
디자인을 시뮬레이션하고 한 단계로 디자인 점수를 매기는 것이
두 단계. 결과적으로 Covered의 구성 유틸리티는 다음을 위한 VPI 지원 라이브러리를 생성할 수 있습니다.
다음 무료 및 상업용 시뮬레이터(Icarus Verilog, CVER 및 VCS).

소스에서 Covered를 생성할 때 VPI 지원 라이브러리 파일을 자동으로 빌드하려면
"configure" 유틸리티를 실행할 때 다음 중 하나 이상을 지정하기만 하면 됩니다.
기본 적용 디렉터리: --with-iv= , --with-vcs=
경로>, --with-cver= . Covered가 구성된 후 간단히 입력하십시오.
'만들기'와 '만들기 설치'. 이렇게 하면 VPI 지원 라이브러리 파일이 다음 위치에 설치됩니다.
설치 libexec 디렉토리(기본적으로 이 경로는 /usr/local/libexec임).

디자인을 컴파일할 준비가 되기 전에 먼저 최상위 레벨인 CDD 파일을 생성해야 합니다.
Verilog 파일 및 PLI 테이블 파일(마지막 파일은 VCS 컴파일러에만 필요함).
이는 다음을 지정하여 수행됩니다. -vpi (파일 이름) Covered의 점수 명령에 대한 옵션. 아니오인 경우
파일 이름은 -vpi 뒤에 지정되며, covered_vpi.v 및 covered_vpi.ta b 파일은
생성된 커버리지 파일과 함께 생성됩니다. 이 단계는
디자인 파일이 변경되지 않는 한 한 번 수행됩니다. 이제 컴파일할 준비가 되었습니다.
모의 실험 장치.

Icarus Verilog 시뮬레이션을 컴파일하는 경우 간단히 '-m을 추가하십시오.
/usr/local/libexec/covered.vpi covered_vpi.v'를 'iverilog' 명령줄로. 한 번
컴파일이 완료되면 평소처럼 생성된 실행 파일을 실행합니다.

CVER 시뮬레이션을 컴파일하는 경우 간단히 다음을 추가하십시오.
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v'를
'cver' 명령줄.

VCS 시뮬레이션을 컴파일하는 경우 '+vpi -load'를 추가하면 됩니다.
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v'를 'vcs'로
명령줄. 컴파일이 완료되면 생성된 실행 파일을 원하는 대로 실행합니다.
일반적으로 그렇습니다.

NC-Verilog 시뮬레이션을 컴파일하는 경우 NC-Verilog의 irun 명령으로 전환하여 로드합니다.
포함된 공유 객체: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
'-access +rwc'로 모든 액세스를 활성화합니다. $covered_sim 호출을 다음으로 하드코딩할 수 있습니다.
RTL을 사용하거나 -input input.tcl을 추가하여 CLI를 사용하여 동적으로 실행할 수 있습니다.
irun으로 전환하십시오. 여기서 input.tcl 파일은 다음과 같으며 tb.dut는
커버리지 인스턴스:
호출 -systf {$covered_sim} {"scored.cdd"} tb.dut
운영

실행될 때 생성된 실행 파일에 전달할 수 있는 두 개의 plusargs가 있습니다.
Covered가 구문 분석합니다. '+covered_cdd= ' 옵션을 선택하면 Covered가 다음을 출력합니다.
에 의해 지정된 CDD 파일에 설계 내용 점수 매기기 . 이렇게 하면 여러 번 실행할 수 있습니다.
다시 컴파일할 필요 없이 여러 다른 CDD 파일을 생성하는 시뮬레이터
발생하다. '+covered_debug' 옵션을 사용하면 Covered가 과도한 출력을 많이 덤프하게 됩니다.
시뮬레이션 중 내부 런타임 상태에 대해. 이 출력만 생성됩니다.
Covered가 --enable-debug 옵션으로 구성된 경우. 이 plusarg 옵션은
주로 Covered in 개발자를 돕기 위한 것이므로 일반 사용자가 사용할 수 있습니다.
디버깅.

작가

트레버 윌리엄스Phase1geo@gmail.com>

onworks.net 서비스를 사용하여 보장된 온라인 사용