帖子列表

• PrimeTime在linux下的安装步骤..

  kissme 发表于: 2008-10-20,

  下载了一个2005版本的Primetime，里面由一个setup和keygen.exe，setup下有三个文件，installer_v1.2，pts_vX-2005.12，scl_v10.9.1，请问怎么在linux下安装啊，哪位知道...

• 静态时序分析（Static Timing Analysis）...

  adamxiaobao 发表于: 2008-09-23, 回复: 2

  537

• 介绍1篇自写的formality培训文档

  hawky 发表于: 2008-08-15, 回复: 9

  521介绍1篇自写的培训文档

• 不知道将这问题发到哪里，暂时放这里了。...

  xiaer 发表于: 2008-07-10,

  包括validation内容，步骤，怎么算validation通过，等等，谢谢！

• 求助：解释untested原因，谢谢！

  wldjy 发表于: 2008-05-07,

  pt_shell> report_analysis_coverage **************************************** Report : analysis_coverage Design : Version: Date : ******************...

• Formality中的问题，不知道有没有人遇到过

  yeyewowo 发表于: 2008-04-23, 回复: 3

  认证RTL代码和DC综合之后的netlist遇到这种情况： RAM的深度没有达到地址线所能表述的上限，比如RAM地址线3位，但是深度只有6，这时候Formality在检查RTL代码的时候报出...

• 关于Prime Time的几个问题！望大侠不吝赐...

  东方之子 发表于: 2008-03-31, 回复: 2

  1、关于library hold time 的问题。触发器的保持时间，就是指在clock有效沿到达之后，数据输入端D的数据不能立即消 失，而要继续保持一小段时间之后，才可以消...

• 欢迎到人才版谈招聘求职职业咨询职场困惑..

  blackhyw 发表于: 2008-03-21,

  :handshake 欢迎到人才版谈招聘求职职业咨询职场困惑.. (向21IC和edacn学习,把人气提上去) 内容如下： 1、职业发展方面的文章或个人感想 2、职业选择的困惑(公司...

• 详细介绍静态时序分析，并且对综合有帮助！

  gongxiao 发表于: 2008-03-12, 回复: 9

  详细介绍静态时序分析，并且对综合有帮助！

• 那位Formality高人知道这两个词是什么意...

  catcat1028 发表于: 2008-03-11, 回复: 3

  1.UPF Formality Verification Flow是指什么样的formal verify flow呢？ 2.Formality ESP是什么呢？

• PrimeTime的参考脚本（根据不同的阶段和...

  seraph_ll 发表于: 2008-03-06, 回复: 2

  set design XXXX read_file -f verilog ${design}.v current_design ${design} link_design list_libraries #set_min_library SP018W_V1p5_max.db -min_version S...

• IO timing约束的budget？

  magmaqk 发表于: 2008-01-22, 回复: 1

  IO timing约束的budget大家怎么下的？根据什么原则？

• STA问题请教``欢迎大家讨论``

  xhwc1229 发表于: 2008-01-06, 回复: 1

  首先感谢了``- -) 我想请教的是,用PT怎么分析跨时钟域的时序呢? 首先我是取消了对异步时钟的set_false设置的. 我之前是用check_timing -v -override c...

• command in sta

  nice_choc 发表于: 2007-12-19, 回复: 2

  谁能说说set_false_path set_case_analysis set_disable_timing 的区别?谢谢

• 形式验证之模型验证

  dake1025 发表于: 2007-12-06, 回复: 3

  小弟初来乍到，向各位高手请教个问题：相信大家对“形式验证”这个概念并不陌生吧，我要问的是有人在做模型验证方面的研究吗？特别是你们都用那些模型验证工具啊？ ...

• 静态时序分析与动态时序分析有什么区别?

  kevin 发表于: 2007-11-08, 回复: 2

  大家讨论一下,STA与DTA到底有什么区别?既然STA能做到覆盖所有的路径,为什么还要DTA?什么情况下要用DTA?

• sdf文件生成问题，急！！

  mike3963 发表于: 2007-11-08,

  小弟因要做后仿所以想生成sdf文件。但是现在手中只有网表，库文件和dspf文件，没有当初的综合脚本。不知道用PT生成sdf文件时脚本怎么写才好？ 我现在只读进了网表文件...

• FM中setup的问题(关于full_case，parall...

  yeyewowo 发表于: 2007-09-11, 回复: 1

  我的rtl中的case有如下写法： always @(*) case(cnt) //synopsys parallel_case full_case 4'h0 : a = b; 4'h4 : a = c; ...

• verplex lec怎么没人讨论呢

  yflou 发表于: 2006-07-05, 回复: 5

  我们都用lec

• Formality遇到out of memory，请各位高手...

  loisfun 发表于: 2006-05-22, 回复: 5

  在 match 的时候系统提示说 the tool has just run out of memory: Memory allocated = 1999 MB, Request size = 49152 bytes. 我第一次遇到这种情况时以为是内存不够，...