specman

-1열

1답변

내 테스트 환경 (예 : structs 및 vars)에 대한 specman 시뮬레이션 데이터 중에 덤프하려고합니다. 그런 옵션이 vcs 실행 (VPD 파일 생성)에 있음을 알고 있지만 specman에서 비슷한 옵션을 찾을 수 없습니다. 도와 주시겠습니까?

1열

2답변

시스템 Verilog Specman의 'sync'에 대한 대응 부분

시스템 Verilog 언어의 Specman e에 해당하는 sync의 내용을 물어보고 싶습니다. @ event_indentifier은 Specman e의 wait @ event과 같습니다. 하지만 sync @ event은 어떨까요?

0열

1답변

Specman을 하위 유형을 수행하는 방법에 대해 나는 다음과 같은 기능을 수행 할

하위 유형의 다른 종류 또한, 멀티 확장 : RED GREEN BLUE 패킷 {...}를 확장 이 줄은 중괄호 안의 구조체 멤버 인 이 특정 열거 형의 지정된 모든 하위 유형에 추가되도록합니다. 결과는 다음과 같을 것이다 : extend RED packet {...} extend BLUE packet {...} extend GREEN packet {..

1열

2답변

동적으로 어떻게 specman의 적용 범위 항목을 제한합니까?

신호 x는 'n'비트의 핫 신호입니다. 신호의 단 하나의 핫 값만 다루고 다른 값에는 관심이 없습니다. 예 : 신호 x가 3 비트이면 x가 아래 값에 도달하고 싶습니다. x == 3'b001 x == 3'b010 x == 3'b100 나는 아래 목표를 달성하기 위해 노력했다. struct ABC { x :uint(bits:n); event pqr

0열

1답변

SPECMAN을 사용하기위한 IDE가 무엇입니까

SPECAMAN 공부를 시작하기 위해 사용할 IDE를 찾고 있습니다. e/specman 용 IDE는 무엇이며 어디에서 다운로드 할 수 있습니까? 또한 좋은 튜토리얼이있는 경우. 미리 감사드립니다.

0열

7답변

Specman을 사용하여 컴파일 플로우를 개선 할 수있는 방법은 무엇입니까?

우리는 검증 환경이 복잡한 대형 디자인 작업을하고 있습니다. 여기에는 내부 VIP 5 명 (자체 디버그 3 개, 경미한 변경 및 개조), CDNS unipro VIP 및 모든 환경에 사용되는 저수준 서비스 패키지가 포함되어 있습니다. 우리의 컴파일 작업은 길고 지루한 작업이며, 코드베이스를 변경할 때마다 처리 시간은 10 분입니다. 팀 효율성을 높이기 위해

0열

3답변

SV 검사기를 vr_ad에 연결하는 방법

SystemVerilog에 구현 된 검사기를 주로 전자 확인 환경에 통합하려고합니다. 이 SV 검사기가 어떻게 내 vr_ad에 연결할 수 있습니까? 또는 SV에 레지스터 모델을 구현해야합니까?

0열

2답변

e/Specman의 목록 항목을 합산하는 가장 좋은 방법

구조체 목록을 만들었고 특정 조건을 만족하는 각 구조체의 필드 값을 더하고 싶습니다. 예를 들어 : struct packet { val:int; cond:bool; }; l:list of packet; 나는 다음과 같은 쓸 때 : keep l.all(it.cond).sum(it.val) == 1000; I get an error:

0열

4답변

Specman 메모리 구성

20GB의 RAM이있는 서버를 사용할 수 있습니다. Specman을 사용하여 회귀 분석을 실행하고이를 최적화하여 최소 5 개의 테스트를 병렬로 실행하고 싶습니다. RTL에 정적 2GB 메모리가 필요하지만 테스트 벤치 크기가 다양하다는 것을 알고 있습니다. 다른 사용자의 계정에서 전체 메모리를 테스트하지 않기 위해 Specman을 어떻게 제어 할 수 있습니까

1열

4답변

*** 경고 : WARN_GEN_CFA_UNSUPPORTED : specman에서 왜 그것을 얻을 수 있습니까? 그 의미는 무엇입니까?

이 코드가 있습니다 <' type type_t:[GOOD,BAD]; struct packet { t:type_t; !header:uint(bits:3); }; extend sys { !pkt:packet; keep read_only(pkt.t==GOOD) => pkt.header==6; run()