검증 2009년 7월 13일 9:14 코드 실패

[aaronhe]

front_end 엔지니어에서 코드, 거기에 내가 DC와 합성을 할 때 아무런 경고도 있지만, 양식과 검증을 할 때,이 모듈에 대해 6 시간 및 보고서 양식을 실행하는 동안 치명적인 오류를 충족하고 포기 일부 "기능 모듈"이 표시됩니다.내가 다시는했지만, 그것을 다시 happed!
난 Netlist를 확인하고 거기에 더 DesignWare는 배율의 발견.어느 날 도와 좀 알려 주실 수 있습니까?

이것은 코드의 일부입니다 :
함수 #---------- ------------------------
함수 [63:0] MUL64xPOW;
입력 [63:0] 브이; / /
입력 [6시]; / /
입력 [63:0] C; / /
[63:0] temp0 reg; / /
정수 CNT의;
시작
temp0 = 브이;
(CNT의 = 0; CNT의 <난; CNT의 = CNT의 1)
temp0 = MUL64x (temp0는 C);
MUL64xPOW = temp0;
끝
endfunction

슈퍼 #---------- 코드를 사용하는 기능을 ---------------
항상 (*)
@시작
면 (== S_CALC_P) integrity_state
시작
임시직 = 메시지 ^ 평가;
위한은 (i = 0; 나는 <64; 나 = 내가 1)
시작
(f9_p [내가 만약] == 1'b1)
eval_temp [나] = MUL64xPOW (임시직, 내가 64'h1b);
그 밖의
eval_temp [나] = 64'd0;
끝
eval_next = 0;
위한은 (i = 0; 나는 <64; 나 = 내가 1)
eval_next = eval_next ^ eval_temp [내가];
끝
그 밖의
시작
온도 = (평가 [63:17], 평가 [16시] ^ length_i);
위한은 (i = 0; 나는 <64; 나 = 내가 1)
시작
(f9_q [내가] == 1'b1)
eval_temp [나] = MUL64xPOW (임시직, 내가 64'h1b);
그 밖의
eval_temp [나] = 64'd0;
끝
eval_next = 0;
위한은 (i = 0; 나는 <64; 나 = 내가 1)
eval_next = eval_next ^ eval_temp [내가];
끝
끝#--------- 양식에 내 설정 정보를 ----------------------------------- ----

hdlin_dwroot 세트 / opt/synopsys/synopsys_2007.12_SP5
설정 사실 hdlin_vhdl_87
설정 hdlin_error_on_mismatch_message 거짓
설정 verification_set_undriven_signals 엑스
설정 hdlin_unresolved_modules black_box
설정 낮은 verification_clock_gate_hold_mode
설정 hdlin_ignore_parallel_case 거짓
설정 hdlin_ignore_full_case 거짓
허위 hdlin_ignore_map_to_operator
설정
set_svf $ source_path / $ cur_design.svf

 

[yx.yang]

1 : 첫째, 사용 (;

<img src="http://www.edaboard.com/images/smiles/icon_wink.gif" alt="윙크" border="0" />

설명 좋은 코딩 스타일이 아니다;
2 : 그것은 당신에 재귀 함수를 사용하는 것 같다.이것은 어쩌면 FV 합성과 문제가 발생할 수있습니다.

 

[Guest]

[No message]

 

[ljxpjpjljx]

이 디자인에, 그래서
그것을 시뮬레이터를 계속하게됩니다 루프를 실행할 수있습니다!

 

[aaronhe]

첫째로, 그리고 's lixpjpljx yx.yang 답변 감사합니다.

하지만이 모듈의 합성의 로그 파일을 확인 할 수있는 유용한 경고를 찾을 수없습니다,
이건 그냥 같은 :
경고 : / home1/hewangfeng/zx280402/EPDCP/integrity_snow3g_uplink.v : 636 : 서명되지 않은 전환에 서명을 발생합니다.(VER - 318)
경고 : / home1/hewangfeng/zx280402/EPDCP/integrity_snow3g_uplink.v : 545 : 서명되지 않은 과제에 서명이 발생합니다.(VER - 318)
경고 : / home1/hewangfeng/zx280402/EPDCP/integrity_snow3g_uplink.v : 559 : 서명되지 않은 과제에 서명이 발생합니다.(VER - 318)
경고 : / home1/hewangfeng/zx280402/EPDCP/integrity_snow3g_uplink.v : 359 : 사례 성명의 기본 지점에 도달하실 수없습니다.(ELAB - 311)
경고 : / home1/hewangfeng/zx280402/EPDCP/integrity_snow3g_uplink.v : 399 : 사례 성명의 기본 지점에 도달하실 수없습니다.(ELAB - 311)
;

그리고 report_timing - 루프,하지만 아직 루프를 찾으십시오.