设为首页收藏本站
在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名：电子顶级开发网)

手机号码，快捷登录

手机号码，快捷登录

找回密码

  登录   注册  

快捷导航
创芯云服务  : 创芯大讲堂  | 创芯人才网 | 数字IC职业培训  EETOP诚邀线上IC培训讲师!
搜帖子
EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › 资源共享 › EDA资源使用讨论 › vc_static 问题：Data Channel Socket Read Error: Conn ...
返回列表 发新帖
查看: 175|回复: 0

vc_static 问题：Data Channel Socket Read Error: Connection reset by peer

[复制链接]
尐翟
发表于 昨天 19:54 | 显示全部楼层 |阅读模式

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要 登录 才可以下载或查看，没有账号？注册

x




跑vc_static lint 分析完了闪退。有大佬知道怎么回事么。







  2.                                    VC Static

  4.                Version V-2023.12-SP1 for linux64 - Mar 02, 2024

  6.                     Copyright (c) 2010 - 2024 Synopsys, Inc.
  7.    This software and the associated documentation are proprietary to Synopsys,
  8. Inc. This software may only be used in accordance with the terms and conditions
  9. of a written license agreement with Synopsys, Inc. All other use, reproduction,
  10.    or distribution of this software is strictly prohibited.  Licensed Products
  11.      communicate with Synopsys servers for the purpose of providing software
  12.     updates, detecting software piracy and verifying that customers are using
  13.     Licensed Products in conformity with the applicable License Key for such
  14.   Licensed Products. Synopsys will use information gathered in connection with
  15.     this process to deliver software updates and pursue software pirates and
  16.                                    infringers.

  18. Inclusivity & Diversity - Visit SolvNetPlus to read the "Synopsys Statement on
  19.             Inclusivity and Diversity" (Refer to article 000036315 at
  20.                         https://solvnetplus.synopsys.com)
  21. restore_session -level default
  22. set_app_var default_waiver_file vcst_rtdb/reports/waiver.tcl
  23. MasterSourceFile setup_lint.tcl
  24. ##############################################################
  25. ## set top
  26. ##############################################################
  27. set design_top osr_ehsm_top
  28. ##############################################################
  29. ## Setting Waiver Files
  30. ##############################################################
  31. manage_waiver_file "SGDC/osr_ehsm_top_waiver_file_lint.tcl"
  32. set_app_var default_waiver_file "SGDC/osr_ehsm_top_waiver_file_lint.tcl"
  33. ##############################################################
  34. ##  setup vars and options
  35. ##############################################################
  36. #report_app_var
  37. set_app_var enable_lint true
  38. [Info] In case any tcl command throwing error , last 10 suppressed messages for the command will be shown on console.
  39. #set_app_var prefer_lib_over_rtl false
  40. set_app_var prefer_lib_or_rtl_model rtl
  41. set_app_var enable_nextgen_cdc true
  42. set_app_var set_blackbox_mem_limit 4096
  43. check_hdl_lib -all
  44. #configure_console_messages -show both -tags [ get_tags -app DESIGN ]
  45. #set_app_var ignore_encrypted_module_violations true
  46. ##############################################################
  47. ##  The search_path and link_library Variable
  48. ##############################################################
  49. #set_app_var search_path "/remote/group/project/design_cdc/LIBRARIES_db/"
  50. #set_app_var link_library "TOP_2M3PIX.db FU_SAFMEMHV_LSOD25.db ISC_19_CLK_LVT.db SC_19_CLK_SVT.db "
  51. ##############################################################
  52. ## Enabling/Disabling VC Spyglass LINT tags
  53. ## configure_lint_tag -enable -tag "<tag_name>" -goal <goal_name>
  54. ## configure_lint_tag_parameter -tag "<tag_name>" -parameter <parameter_name> -value {<value>} -goal <goal_name>
  55. ## configure_lint_setup -goal <goal_name>
  56. ##############################################################
  57. set met_path $::env(VC_STATIC_HOME)/auxx/monet/tcl/GuideWare/block/rtl_handoff/lint
  58. #set met_path $::env(VC_STATIC_HOME)/auxx/monet/tcl/GuideWare/soc/rtl_handoff/lint
  59. set goal_name  lint_rtl
  60. configure_lint_methodology -path $met_path -goal $goal_name
  61. source ./add_rules.tcl
  62. foreach lint_rule $lint_rules {
  63.     echo "Notice: Enable lint_rule: $lint_rule !"
  64.     configure_lint_tag  -enable -tag  $lint_rule  -goal $goal_name
  65. }
  66. Notice: Enable lint_rule: badimplicitSM1 !
  67. Notice: Enable lint_rule: badimplicitSM2 !
  68. Notice: Enable lint_rule: badimplicitSM4 !
  69. Notice: Enable lint_rule: BlockHeader !
  70. Notice: Enable lint_rule: bothedges !
  71. Notice: Enable lint_rule: DisconnSpec !
  72. Notice: Enable lint_rule: ForLoopWait !
  73. Notice: Enable lint_rule: IncompleteType !
  74. Notice: Enable lint_rule: Info_Case_Analysis !
  75. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'Info_Case_Analysis' (setup_lint.tcl:60) were found.
  76.         Revise your tag list and try again..
  77. Notice: Enable lint_rule: IntGeneric !
  78. Notice: Enable lint_rule: LinkagePort !
  79. Notice: Enable lint_rule: LoopBound !
  80. Notice: Enable lint_rule: NoTimeOut !
  81. Notice: Enable lint_rule: PortType !
  82. Notice: Enable lint_rule: PreDefAttr !
  83. Notice: Enable lint_rule: ResFunction !
  84. Notice: Enable lint_rule: STARC05-2.1.6.5 !
  85. Notice: Enable lint_rule: STARC05-2.3.1.2c !
  86. Notice: Enable lint_rule: UserDefAttr !
  87. Notice: Enable lint_rule: W18 !
  88. Notice: Enable lint_rule: W43 !
  89. Notice: Enable lint_rule: W182g !
  90. Notice: Enable lint_rule: W182h !
  91. Notice: Enable lint_rule: W182k !
  92. Notice: Enable lint_rule: W182n !
  93. Notice: Enable lint_rule: W421 !
  94. Notice: Enable lint_rule: W442a !
  95. Notice: Enable lint_rule: W442b !
  96. Notice: Enable lint_rule: W442c !
  97. Notice: Enable lint_rule: W442f !
  98. Notice: Enable lint_rule: SignedUnsignedExpr-ML !
  99. Notice: Enable lint_rule: sim_race02 !
  100. Notice: Enable lint_rule: W110a !
  101. Notice: Enable lint_rule: W239 !
  102. Notice: Enable lint_rule: W416 !
  103. Notice: Enable lint_rule: BothPhase !
  104. Notice: Enable lint_rule: CheckDelayTimescale-ML !
  105. Notice: Enable lint_rule: ClockStyle !
  106. Notice: Enable lint_rule: DiffTimescaleUsed-ML !
  107. Notice: Enable lint_rule: MultipleWait !
  108. Notice: Enable lint_rule: PragmaComments-ML !
  109. Notice: Enable lint_rule: SetBeforeRead-ML !
  110. Notice: Enable lint_rule: SigVarInit !
  111. Notice: Enable lint_rule: STARC05-2.1.8.6 !
  112. Notice: Enable lint_rule: STARC05-2.10.2.3 !
  113. Notice: Enable lint_rule: STARC05-2.10.3.7 !
  114. Notice: Enable lint_rule: STARC05-2.11.3.1 !
  115. Notice: Enable lint_rule: STARC05-2.3.1.4 !
  116. Notice: Enable lint_rule: STARC05-2.3.1.5b !
  117. Notice: Enable lint_rule: STARC05-2.3.2.4 !
  118. Notice: Enable lint_rule: W107 !
  119. Notice: Enable lint_rule: W120 !
  120. Notice: Enable lint_rule: W121 !
  121. Notice: Enable lint_rule: W128 !
  122. Notice: Enable lint_rule: W129 !
  123. Notice: Enable lint_rule: W146 !
  124. Notice: Enable lint_rule: W162 !
  125. Notice: Enable lint_rule: W163 !
  126. Notice: Enable lint_rule: W17 !
  127. Notice: Enable lint_rule: W175 !
  128. Notice: Enable lint_rule: W187 !
  129. Notice: Enable lint_rule: W188 !
  130. Notice: Enable lint_rule: W190 !
  131. Notice: Enable lint_rule: W191 !
  132. Notice: Enable lint_rule: W208 !
  133. Notice: Enable lint_rule: W243 !
  134. Notice: Enable lint_rule: W256 !
  135. Notice: Enable lint_rule: W287c !
  136. Notice: Enable lint_rule: W308 !
  137. Notice: Enable lint_rule: W310 !
  138. Notice: Enable lint_rule: W311 !
  139. Notice: Enable lint_rule: W312 !
  140. Notice: Enable lint_rule: W313 !
  141. Notice: Enable lint_rule: W314 !
  142. Notice: Enable lint_rule: W323 !
  143. Notice: Enable lint_rule: W333 !
  144. Notice: Enable lint_rule: W34 !
  145. Notice: Enable lint_rule: W350 !
  146. Notice: Enable lint_rule: W351 !
  147. Notice: Enable lint_rule: W398 !
  148. Notice: Enable lint_rule: W421 !
  149. Notice: Enable lint_rule: W429 !
  150. Notice: Enable lint_rule: W433 !
  151. Notice: Enable lint_rule: W474 !
  152. Notice: Enable lint_rule: W475 !
  153. Notice: Enable lint_rule: W476 !
  154. Notice: Enable lint_rule: W477 !
  155. Notice: Enable lint_rule: W479 !
  156. Notice: Enable lint_rule: W484 !
  157. Notice: Enable lint_rule: W489 !
  158. Notice: Enable lint_rule: W490 !
  159. Notice: Enable lint_rule: W494 !
  160. Notice: Enable lint_rule: W495 !
  161. Notice: Enable lint_rule: W497 !
  162. Notice: Enable lint_rule: W502 !
  163. Notice: Enable lint_rule: W503 !
  164. Notice: Enable lint_rule: W504 !
  165. Notice: Enable lint_rule: W526 !
  166. Notice: Enable lint_rule: W527 !
  167. Notice: Enable lint_rule: W541 !
  168. Notice: Enable lint_rule: W546 !
  169. Notice: Enable lint_rule: W552 !
  170. Notice: Enable lint_rule: W553 !
  171. Notice: Enable lint_rule: W561 !
  172. Notice: Enable lint_rule: W563 !
  173. Notice: Enable lint_rule: W575 !
  174. Notice: Enable lint_rule: W576 !
  175. Notice: Enable lint_rule: W127 !
  176. Notice: Enable lint_rule: W129 !
  177. Notice: Enable lint_rule: W182c !
  178. Notice: Enable lint_rule: W189 !
  179. Notice: Enable lint_rule: W190 !
  180. Notice: Enable lint_rule: W213 !
  181. Notice: Enable lint_rule: W215 !
  182. Notice: Enable lint_rule: W216 !
  183. Notice: Enable lint_rule: W226 !
  184. Notice: Enable lint_rule: W245 !
  185. Notice: Enable lint_rule: W250 !
  186. Notice: Enable lint_rule: W253 !
  187. Notice: Enable lint_rule: W254 !
  188. Notice: Enable lint_rule: W280 !
  189. Notice: Enable lint_rule: W289 !
  190. Notice: Enable lint_rule: W292 !
  191. Notice: Enable lint_rule: W293 !
  192. Notice: Enable lint_rule: W294 !
  193. Notice: Enable lint_rule: W295 !
  194. Notice: Enable lint_rule: W317 !
  195. Notice: Enable lint_rule: W352 !
  196. Notice: Enable lint_rule: W398 !
  197. Notice: Enable lint_rule: W422 !
  198. Notice: Enable lint_rule: W424 !
  199. Notice: Enable lint_rule: W425 !
  200. Notice: Enable lint_rule: W426 !
  201. Notice: Enable lint_rule: W427 !
  202. Notice: Enable lint_rule: W430 !
  203. Notice: Enable lint_rule: W467 !
  204. Notice: Enable lint_rule: W480 !
  205. Notice: Enable lint_rule: W481a !
  206. Notice: Enable lint_rule: W481b !
  207. Notice: Enable lint_rule: W496a !
  208. Notice: Enable lint_rule: W496b !
  209. Notice: Enable lint_rule: W71 !
  210. Notice: Enable lint_rule: ArrayIndex !
  211. Notice: Enable lint_rule: NoAssignX-ML !
  212. Notice: Enable lint_rule: NoXInCase-ML !
  213. Notice: Enable lint_rule: ParamWidthMismatch-ML !
  214. Notice: Enable lint_rule: ReportPortInfo-ML !
  215. Notice: Enable lint_rule: STARC05-2.1.3.1 !
  216. Notice: Enable lint_rule: STARC05-2.1.5.3 !
  217. Notice: Enable lint_rule: STARC05-2.2.3.3 !
  218. Notice: Enable lint_rule: STARC05-2.3.1.6 !
  219. Notice: Enable lint_rule: W110 !
  220. Notice: Enable lint_rule: W116 !
  221. Notice: Enable lint_rule: W122 !
  222. Notice: Enable lint_rule: W123 !
  223. Notice: Enable lint_rule: W143 !
  224. Notice: Enable lint_rule: W164a !
  225. Notice: Enable lint_rule: W164b !
  226. Notice: Enable lint_rule: W341 !
  227. Notice: Enable lint_rule: W19 !
  228. Notice: Enable lint_rule: W210 !
  229. Notice: Enable lint_rule: W218 !
  230. Notice: Enable lint_rule: W240 !
  231. Notice: Enable lint_rule: W241 !
  232. Notice: Enable lint_rule: W257 !
  233. Notice: Enable lint_rule: W259 !
  234. Notice: Enable lint_rule: W263 !
  235. Notice: Enable lint_rule: W332 !
  236. Notice: Enable lint_rule: W337 !
  237. Notice: Enable lint_rule: W362 !
  238. Notice: Enable lint_rule: W423 !
  239. Notice: Enable lint_rule: W446 !
  240. Notice: Enable lint_rule: W456a !
  241. Notice: Enable lint_rule: W486 !
  242. Notice: Enable lint_rule: W491 !
  243. Notice: Enable lint_rule: W499 !
  244. Notice: Enable lint_rule: W502 !
  245. Notice: Enable lint_rule: W505 !
  246. Notice: Enable lint_rule: W551 !
  247. Notice: Enable lint_rule: W66 !
  248. Notice: Enable lint_rule: InferLatch !
  249. Notice: Enable lint_rule: RegInputOutput-ML !
  250. Notice: Enable lint_rule: STARC05-2.3.4.1v !
  251. Notice: Enable lint_rule: STARC05-2.5.1.7 !
  252. Notice: Enable lint_rule: STARC05-2.5.1.9 !
  253. Notice: Enable lint_rule: STARC05-2.10.3.2 !
  254. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC05-2.10.3.2' (setup_lint.tcl:60) were found.
  255.         Revise your tag list and try again..
  256. Notice: Enable lint_rule: STARC05-2.10.3.2a !
  257. Notice: Enable lint_rule: STARC05-2.10.3.2b_sa !
  258. Notice: Enable lint_rule: STARC05-2.10.3.2b_sb !
  259. Notice: Enable lint_rule: W336 !
  260. Notice: Enable lint_rule: W414 !
  261. Notice: Enable lint_rule: W428 !
  262. Notice: Enable lint_rule: W450L !
  263. Notice: Enable lint_rule: UndrivenInTerm-ML !
  264. Notice: Enable lint_rule: UndrivenNUnloaded-ML !
  265. Notice: Enable lint_rule: UnloadedInPort-ML !
  266. Notice: Enable lint_rule: FloatingInputs !
  267. Notice: Enable lint_rule: checkMultipleDrivers !
  268. Notice: Enable lint_rule: UndrivenOutPort-ML !
  269. Notice: Enable lint_rule: UndrivenNet-ML !
  270. Notice: Enable lint_rule: HangingInst-ML !
  271. Notice: Enable lint_rule: UndrivenOutTermNLoaded-ML !
  272. Notice: Enable lint_rule: UnloadedNet-ML !
  273. Notice: Enable lint_rule: UnloadedOutTerm-ML !
  274. Notice: Enable lint_rule: BufClock !
  275. Notice: Enable lint_rule: checkPinConnectedToSupply !
  276. Notice: Enable lint_rule: CombLoop !
  277. Notice: Enable lint_rule: FlopClockConstant !
  278. Notice: Enable lint_rule: FlopEConst !
  279. Notice: Enable lint_rule: FlopSRConst !
  280. Notice: Enable lint_rule: LatchFeedback !
  281. Notice: Enable lint_rule: STARC05-1.2.1.2 !
  282. Notice: Enable lint_rule: STARC05-1.3.1.3 !
  283. Notice: Enable lint_rule: STARC05-1.3.1.7 !
  284. Notice: Enable lint_rule: STARC05-1.4.3.4 !
  285. Notice: Enable lint_rule: STARC05-2.1.4.5 !
  286. Notice: Enable lint_rule: STARC05-2.4.1.5 !
  287. Notice: Enable lint_rule: STARC05-2.5.1.2 !
  288. Notice: Enable lint_rule: STARC-2.1.3.1 !
  289. Notice: Enable lint_rule: STARC-2.1.3.2 !
  290. Notice: Enable lint_rule: STARC-2.2.3.1 !
  291. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.2.3.1' (setup_lint.tcl:60) were found.
  292.         Revise your tag list and try again..
  293. Notice: Enable lint_rule: STARC-2.3.2.2 !
  294. Notice: Enable lint_rule: STARC-2.3.6.1 !
  295. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.3.6.1' (setup_lint.tcl:60) were found.
  296.         Revise your tag list and try again..
  297. Notice: Enable lint_rule: STARC-2.3.6.2a !
  298. Notice: Enable lint_rule: STARC-2.8.3.5 !
  299. Notice: Enable lint_rule: W391 !
  300. Notice: Enable lint_rule: W392 !
  301. Notice: Enable lint_rule: W415 !
  302. Notice: Enable lint_rule: STARC05-2.10.1.4a !
  303. Notice: Enable lint_rule: STARC05-2.10.1.4b !
  304. Notice: Enable lint_rule: W156 !
  305. Notice: Enable lint_rule: STARC05-2.3.3.1 !
  306. Notice: Enable lint_rule: W415a !
  307. Notice: Enable lint_rule: W287b !
  308. Notice: Enable lint_rule: W224 !
  309. Notice: Enable lint_rule: W287a !
  310. Notice: Enable lint_rule: W528 !
  311. Notice: Enable lint_rule: mixedsenselist !
  312. Notice: Enable lint_rule: W339a !
  313. Notice: Enable lint_rule: STARC05-2.10.3.2a !
  314. Notice: Enable lint_rule: CaseOverIf !
  315. Notice: Enable lint_rule: ChkSensExprPar-ML !
  316. Notice: Enable lint_rule: ClockPhase !
  317. Notice: Enable lint_rule: ConsCase !
  318. Notice: Enable lint_rule: ConstSig !
  319. Notice: Enable lint_rule: DeadCode !
  320. Notice: Enable lint_rule: DefaultState !
  321. Notice: Enable lint_rule: DisallowTimeArr-ML !
  322. Notice: Enable lint_rule: GroupOFAsgn-ML !
  323. Notice: Enable lint_rule: HangingNet-ML !
  324. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'HangingNet-ML' (setup_lint.tcl:60) were found.
  325.         Revise your tag list and try again..
  326. Notice: Enable lint_rule: MemConflict-ML !
  327. Notice: Enable lint_rule: NamedAssoc !
  328. Notice: Enable lint_rule: NoDupPort-ML !
  329. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'NoDupPort-ML' (setup_lint.tcl:60) were found.
  330.         Revise your tag list and try again..
  331. Notice: Enable lint_rule: WRN_48 !
  332. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_48' (setup_lint.tcl:60) were found.
  333.         Revise your tag list and try again..
  334. Notice: Enable lint_rule: NonStaticMacro-ML !
  335. Notice: Enable lint_rule: NullPort-ML !
  336. Notice: Enable lint_rule: ResetFlop-ML !
  337. Notice: Enable lint_rule: SensListRepeat-ML !
  338. Notice: Enable lint_rule: TaskComment !
  339. Notice: Enable lint_rule: TriStateName !
  340. Notice: Enable lint_rule: TristateSig-ML !
  341. Notice: Enable lint_rule: SYNTH_12608 !
  342. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_12608' (setup_lint.tcl:60) were found.
  343.         Revise your tag list and try again..
  344. Notice: Enable lint_rule: SYNTH_5035 !
  345. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_5035' (setup_lint.tcl:60) were found.
  346.         Revise your tag list and try again..
  347. Notice: Enable lint_rule: SYNTH_5115 !
  348. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_5115' (setup_lint.tcl:60) were found.
  349.         Revise your tag list and try again..
  350. Notice: Enable lint_rule: NoInoutPort-ML !
  351. Notice: Enable lint_rule: WRN_46 !
  352. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_46' (setup_lint.tcl:60) were found.
  353.         Revise your tag list and try again..
  354. Notice: Enable lint_rule: W287c !
  355. Notice: Enable lint_rule: W494 !
  356. Notice: Enable lint_rule: W495 !
  357. Notice: Enable lint_rule: NoParamMultConcat-ML !
  358. Notice: Enable lint_rule: W326 !
  359. Notice: Enable lint_rule: W493 !
  360. Notice: Enable lint_rule: infiniteloop !
  361. Notice: Enable lint_rule: UnConstrLoop-ML !
  362. Notice: Enable lint_rule: STARC-2.1.2.3 !
  363. Notice: Enable lint_rule: STARC-2.1.3.5 !
  364. Notice: Enable lint_rule: STARC-2.1.4.6 !
  365. Notice: Enable lint_rule: STARC-2.10.4.5 !
  366. Notice: Enable lint_rule: STARC-2.2.3.3 !
  367. Notice: Enable lint_rule: STARC-2.3.1.2a !
  368. Notice: Enable lint_rule: STARC-2.3.1.2b !
  369. Notice: Enable lint_rule: STARC-2.3.1.6 !
  370. Notice: Enable lint_rule: STARC-2.4.1.3 !
  371. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.4.1.3' (setup_lint.tcl:60) were found.
  372.         Revise your tag list and try again..
  373. Notice: Enable lint_rule: STARC-2.5.1.1 !
  374. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.5.1.1' (setup_lint.tcl:60) were found.
  375.         Revise your tag list and try again..
  376. Notice: Enable lint_rule: STARC-2.5.1.2 !
  377. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.5.1.2' (setup_lint.tcl:60) were found.
  378.         Revise your tag list and try again..
  379. Notice: Enable lint_rule: STARC-2.7.4.3 !
  380. Notice: Enable lint_rule: STARC-2.9.1.2a !
  381. Notice: Enable lint_rule: STARC-2.9.1.2c !
  382. Notice: Enable lint_rule: STARC05-2.1.2.2 !
  383. Notice: Enable lint_rule: STARC05-3.3.6.2 !
  384. Notice: Enable lint_rule: FlopClockUndriven !
  385. Notice: Enable lint_rule: FlopClockX !
  386. Notice: Enable lint_rule: FlopDataConstant !
  387. Notice: Enable lint_rule: FlopDataUndriven !
  388. Notice: Enable lint_rule: FlopDataX !
  389. Notice: Enable lint_rule: FlopEConst !
  390. Notice: Enable lint_rule: FlopSR !
  391. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'FlopSR' (setup_lint.tcl:60) were found.
  392.         Revise your tag list and try again..
  393. Notice: Enable lint_rule: FlopSRConst !
  394. Notice: Enable lint_rule: FlopSREX !
  395. Notice: Enable lint_rule: LatchDataConstant !
  396. Notice: Enable lint_rule: LatchDataUndriven !
  397. Notice: Enable lint_rule: LatchDataX !
  398. Notice: Enable lint_rule: LatchEnableConstant !
  399. Notice: Enable lint_rule: LatchEnableUndriven !
  400. Notice: Enable lint_rule: LatchEnableX !
  401. Notice: Enable lint_rule: MuxSelConst !
  402. Notice: Enable lint_rule: TristateConst !
  403. Notice: Enable lint_rule: checkTristateBuses !
  404. Notice: Enable lint_rule: noCombinatorialFeedBack !
  405. Notice: Enable lint_rule: W122L !
  406. Notice: Enable lint_rule: W336L !
  407. Notice: Enable lint_rule: W442aL !
  408. Notice: Enable lint_rule: W450L !
  409. Notice: Enable lint_rule: W156 !
  410. Notice: Enable lint_rule: W188 !
  411. Notice: Enable lint_rule: W243 !
  412. Notice: Enable lint_rule: W317 !
  413. Notice: Enable lint_rule: W323 !
  414. Notice: Enable lint_rule: W342 !
  415. Notice: Enable lint_rule: W343 !
  416. Notice: Enable lint_rule: W348 !
  417. Notice: Enable lint_rule: W362 !
  418. Notice: Enable lint_rule: W395 !
  419. Notice: Enable lint_rule: W424 !
  420. Notice: Enable lint_rule: W426 !
  421. Notice: Enable lint_rule: W438 !
  422. Notice: Enable lint_rule: W443 !
  423. Notice: Enable lint_rule: W444 !
  424. Notice: Enable lint_rule: W456 !
  425. Notice: Enable lint_rule: W464 !
  426. Notice: Enable lint_rule: W467 !
  427. Notice: Enable lint_rule: W479 !
  428. Notice: Enable lint_rule: W480 !
  429. Notice: Enable lint_rule: W486 !
  430. Notice: Enable lint_rule: W502 !
  431. Notice: Enable lint_rule: W527 !
  432. Notice: Enable lint_rule: mixedsenselist !
  433. Notice: Enable lint_rule: readclock !
  434. Notice: Enable lint_rule: sim_loop01 !
  435. Notice: Enable lint_rule: WRN_48 !
  436. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_48' (setup_lint.tcl:60) were found.
  437.         Revise your tag list and try again..
  438. Notice: Enable lint_rule: SYNTH_5035 !
  439. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_5035' (setup_lint.tcl:60) were found.
  440.         Revise your tag list and try again..
  441. Notice: Enable lint_rule: MemConflict-ML !
  442. Notice: Enable lint_rule: PartSelectRange-ML !
  443. Notice: Enable lint_rule: SignedUnsignedExpr-ML !
  444. Notice: Enable lint_rule: TypedefNameConflict-ML !
  445. Notice: Enable lint_rule: STARC-2.3.2.2 !
  446. Notice: Enable lint_rule: STARC-2.8.1.3 !
  447. Notice: Enable lint_rule: RegInput-ML !
  448. Notice: Enable lint_rule: RegOutputs !
  449. Notice: Enable lint_rule: W165a !
  450. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'W165a' (setup_lint.tcl:60) were found.
  451.         Revise your tag list and try again..
  452. Notice: Enable lint_rule: W164c !
  453. Notice: Enable lint_rule: W328 !
  454. Notice: Enable lint_rule: STARC-2.3.4.3 !
  455. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.3.4.3' (setup_lint.tcl:60) were found.
  456.         Revise your tag list and try again..
  457. Notice: Enable lint_rule: STARC05-1.3.2.1a !
  458. Notice: Enable lint_rule: STARC05-2.10.3.1 !
  459. Notice: Enable lint_rule: STARC05-2.5.1.5 !
  460. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC05-2.5.1.5' (setup_lint.tcl:60) were found.
  461.         Revise your tag list and try again..
  462. Notice: Enable lint_rule: STARC05-2.5.1.5a !
  463. Notice: Enable lint_rule: W396 !
  464. Notice: Enable lint_rule: SYNTH_5133 !
  465. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_5133' (setup_lint.tcl:60) were found.
  466.         Revise your tag list and try again..
  467. Notice: Enable lint_rule: WRN_40 !
  468. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_40' (setup_lint.tcl:60) were found.
  469.         Revise your tag list and try again..
  470. Notice: Enable lint_rule: WRN_66 !
  471. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_66' (setup_lint.tcl:60) were found.
  472.         Revise your tag list and try again..
  473. Notice: Enable lint_rule: WRN_68 !
  474. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_68' (setup_lint.tcl:60) were found.
  475.         Revise your tag list and try again..
  476. Notice: Enable lint_rule: WRN_1021 !
  477. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1021' (setup_lint.tcl:60) were found.
  478.         Revise your tag list and try again..
  479. Notice: Enable lint_rule: WRN_1452 !
  480. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1452' (setup_lint.tcl:60) were found.
  481.         Revise your tag list and try again..
  482. Notice: Enable lint_rule: WRN_1464 !
  483. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1464' (setup_lint.tcl:60) were found.
  484.         Revise your tag list and try again..
  485. Notice: Enable lint_rule: WRN_1466 !
  486. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1466' (setup_lint.tcl:60) were found.
  487.         Revise your tag list and try again..
  488. Notice: Enable lint_rule: WRN_1467 !
  489. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1467' (setup_lint.tcl:60) were found.
  490.         Revise your tag list and try again..
  491. #dict for {tag config} $rules_param_dict {
  492. #    puts "Tag: $tag"
  493. #    dict for {param value} $config {
  494. #        puts "$param is $value"
  495. #        configure_lint_tag_parameter -tag $tag -parameter  $param -value { $value } -goal $goal_name
  496. #    }
  497. #}
  498. configure_lint_setup -goal $goal_name  
  499. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'Info_Case_Analysis' (setup_lint.tcl:75) were found.
  500.         Revise your tag list and try again..
  501. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC05-2.10.3.2' (setup_lint.tcl:75) were found.
  502.         Revise your tag list and try again..
  503. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.2.3.1' (setup_lint.tcl:75) were found.
  504.         Revise your tag list and try again..
  505. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.3.6.1' (setup_lint.tcl:75) were found.
  506.         Revise your tag list and try again..
  507. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'HangingNet-ML' (setup_lint.tcl:75) were found.
  508.         Revise your tag list and try again..
  509. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'NoDupPort-ML' (setup_lint.tcl:75) were found.
  510.         Revise your tag list and try again..
  511. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_48' (setup_lint.tcl:75) were found.
  512.         Revise your tag list and try again..
  513. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_12608' (setup_lint.tcl:75) were found.
  514.         Revise your tag list and try again..
  515. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_5035' (setup_lint.tcl:75) were found.
  516.         Revise your tag list and try again..
  517. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_5115' (setup_lint.tcl:75) were found.
  518.         Revise your tag list and try again..
  519. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_46' (setup_lint.tcl:75) were found.
  520.         Revise your tag list and try again..
  521. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.4.1.3' (setup_lint.tcl:75) were found.
  522.         Revise your tag list and try again..
  523. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.5.1.1' (setup_lint.tcl:75) were found.
  524.         Revise your tag list and try again..
  525. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.5.1.2' (setup_lint.tcl:75) were found.
  526.         Revise your tag list and try again..
  527. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'FlopSR' (setup_lint.tcl:75) were found.
  528.         Revise your tag list and try again..
  529. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_48' (setup_lint.tcl:75) were found.
  530.         Revise your tag list and try again..
  531. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_5035' (setup_lint.tcl:75) were found.
  532.         Revise your tag list and try again..
  533. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'W165a' (setup_lint.tcl:75) were found.
  534.         Revise your tag list and try again..
  535. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC-2.3.4.3' (setup_lint.tcl:75) were found.
  536.         Revise your tag list and try again..
  537. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'STARC05-2.5.1.5' (setup_lint.tcl:75) were found.
  538.         Revise your tag list and try again..
  539. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'SYNTH_5133' (setup_lint.tcl:75) were found.
  540.         Revise your tag list and try again..
  541. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_40' (setup_lint.tcl:75) were found.
  542.         Revise your tag list and try again..
  543. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_66' (setup_lint.tcl:75) were found.
  544.         Revise your tag list and try again..
  545. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_68' (setup_lint.tcl:75) were found.
  546.         Revise your tag list and try again..
  547. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1021' (setup_lint.tcl:75) were found.
  548.         Revise your tag list and try again..
  549. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1452' (setup_lint.tcl:75) were found.
  550.         Revise your tag list and try again..
  551. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1464' (setup_lint.tcl:75) were found.
  552.         Revise your tag list and try again..
  553. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1466' (setup_lint.tcl:75) were found.
  554.         Revise your tag list and try again..
  555. [Error] RDB_CONFIGURE_BAD_TAG: None of the tag pattern(s) 'WRN_1467' (setup_lint.tcl:75) were found.
  556.         Revise your tag list and try again..
  557. ##############################################################
  558. ## Reading the Design
  559. ##############################################################
  560. #set_blackbox -designs {moduleA}
  561. read_file -top $design_top -vcs {-f ../filelist/ehsm_rtl.f} -format sverilog -define { OSR_FPGA }
  562. Info: Invoking Simon...
  563. Info: Simon VCS Start

  565. =======================================================
  566. VCS CPU Time(s)     :3.26
  567. SIMON CPU Time(s)   :16.46
  568. SIMON Total Time(s) :3.73
  569. Peak Memory(MB)     :508
  570. =======================================================
  571. Info: Simon VCS Finished
  572. Info: Simon call complete
  573. Info: Exiting after Simon Analysis
  574. Verdi KDB elaboration done and the database successfully generated: 0 error(s), 0 warning(s)
  575. [Info] DB_COPT045: Vcs analyzer task has finished.
  576. # Gate Counts
  577. Number of Flat Instances = 743649
  578. Number of Operator = 743649
  579. Number of Libcells = 0
  580. Number of Black-Box Instances = 0

  582. ################################################################
  583. ## SDC File
  584. ################################################################
  585. read_sdc ./SGDC/osr_ehsm_top.sdc
  586. ################################################################
  587. ## Run
  588. ################################################################
  589. #check_lint
  590. check_lint -goal $goal_name
  591. [Warning] LINT_OPTION_VALUE_DISCARDED: '-goal' value should be set thru configure_lint_setup only. Current value discarded and honoring the values from configure_lint_setup.
  592. [Info] Running goal lint_rtl
  593. eval {;}
  594. ################################################################
  595. ## report
  596. ################################################################
  597. #report_lint -file report_hdl.txt -verbose -limit 0
  598. #report_lint -limit 0 -verbose -include_waived -gen_empty -report {sg_moresimple sg_waiver sg_count} -filter {Goal==test_goal}
  599. #report_cdc -verbose -file report_cdc.rpt
  600. #redirect -file report_cdc.rpt {report_cdc}
  601. report_violations

  603.   -----------------------------------------------------------------------------
  604.   Management Summary
  605.   -----------------------------------------------------------------------------
  606.   Stage             Family      Fatals    Errors  Warnings     Infos
  607.   -----             --------  --------  --------  --------  --------
  608.   BUILTIN_CHECK     CODING           1         0         2         0
  609.   DESIGN_READ       DESIGN           0         0         4         0
  610.   STRUCTURAL_CHECK  CODING           0        60      6232      4217
  611.   STRUCTURAL_CHECK  CONN             0         0       980         0
  612.   STRUCTURAL_CHECK  SYN              0         0       454         0
  613.   Sanity            SETUP            0        54         0         0
  614.   TCL               SETUP            0         0         1         1
  615.   -----             --------  --------  --------  --------  --------
  616.   Total                              1       114      7673      4218


  619.   -----------------------------------------------------------------------------
  620.   Tree Summary
  621.   -----------------------------------------------------------------------------
  622.   Severity  Stage             Tag                            Count
  623.   --------  -----             -----------------------------  -----
  624.   fatal     BUILTIN_CHECK     RTLCheckerSummary                  1
  625.   error     STRUCTURAL_CHECK  STARC05-1.3.2.1a                  60
  626.   error     Sanity            RDB_CONFIGURE_BAD_TAG             54
  627.   warning   BUILTIN_CHECK     CheckDelayTimescale-ML             2
  628.   warning   DESIGN_READ       SM_PCNP                            4
  629.   warning   STRUCTURAL_CHECK  ClockPhase                         1
  630.   warning   STRUCTURAL_CHECK  CombLoop                          16
  631.   warning   STRUCTURAL_CHECK  FlopDataConstant                 454
  632.   warning   STRUCTURAL_CHECK  FlopEConst                        22
  633.   warning   STRUCTURAL_CHECK  MuxSelConst                      108
  634.   warning   STRUCTURAL_CHECK  RegInput-ML                     5281
  635.   warning   STRUCTURAL_CHECK  RegOutputs                        85
  636.   warning   STRUCTURAL_CHECK  STARC05-1.3.1.3                    4
  637.   warning   STRUCTURAL_CHECK  STARC05-1.4.3.4                    1
  638.   warning   STRUCTURAL_CHECK  UndrivenNUnloaded-ML               6
  639.   warning   STRUCTURAL_CHECK  UnloadedInPort-ML                319
  640.   warning   STRUCTURAL_CHECK  UnloadedNet-ML                   707
  641.   warning   STRUCTURAL_CHECK  UnloadedOutTerm-ML               661
  642.   warning   STRUCTURAL_CHECK  W391                               1
  643.   warning   TCL               LINT_OPTION_VALUE_DISCARDED        1
  644.   info      STRUCTURAL_CHECK  CombLoop                           1
  645.   info      STRUCTURAL_CHECK  ConstSig                        2272
  646.   info      STRUCTURAL_CHECK  DeadCode                        1811
  647.   info      STRUCTURAL_CHECK  RegInputOutput-ML                133
  648.   info      TCL               DB_COPT045                         1
  649.   --------  -----             -----------------------------  -----
  650.   Total                                                      12006


  653. #save_session -session "lint_save_session" -compression "lz4"
  654. #view_activity

  656. Data Channel Socket Read Error: Connection reset by peer
  657. =======================================================
  658. Total Time(S)  :44.21
  659. CPU Time(S)    :63.05
  660. Peak Memory(MB):2247
  661. =======================================================



复制代码
回复

举报

返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

小黑屋| 手机版| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2025-7-5 15:43 , Processed in 0.013457 second(s), 8 queries , Gzip On, MemCached On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表