收起/展开

本版规则

STA是静态时序分析，对应于动态仿真，它能全面地验证逻辑时序正确和一致性。形式验证也是静态的验证方法。
 51 12
发新话题
讨论 求助 已解决 推荐

STA及形式验证

    标题 作者 回复/查看 最后发表
announcement   论坛公告: 群策群力，如何使论坛更有活力? 5life 2008-9-23 - -
  [推荐] SystemVerilog 书籍十件套[9月2号更新] 附件   1 2 3 5life 2008-6-23 29 / 1192 2008-10-8 05:06 PM by mantle
  测试书籍五件套 附件   1 2 3 4 5 6 .. 9 5life 2006-9-20 120 / 12380 2008-10-5 09:39 PM by datone520
  群策群力，如何使论坛更有活力！ 5life 2008-9-23 2 / 82 2008-10-4 02:50 PM by rickyice
  时钟书籍二件套 附件   1 2 3 4 5 6 5life 2006-8-8 79 / 8446 2008-9-25 10:39 AM by robin_cy
  验证书籍十二件套 附件   1 2 3 4 5 6 .. 15 5life 2005-11-6 206 / 27673 2008-9-17 10:30 PM by HolySaint
  Design Compiler FAQ   1 2 3 4 5 5life 2005-7-5 56 / 11085 2008-7-10 04:37 PM by yfp945
  DICDER用户使用帮助   1 2 5life 2006-10-29 22 / 4533 2007-12-5 02:13 PM by agressive
  版块主题
  静态时序分析（Static Timing Analysis）基础及应用 附件 adamxiaobao 2008-9-23 1 / 59 2008-9-25 10:51 AM by robin_cy
  [推荐] 详细介绍静态时序分析，并且对综合有帮助！ 附件 gongxiao 2008-3-12 9 / 351 2008-9-25 10:46 AM by robin_cy
  静态时序分析中路径延时的计算 附件   1 2 3 5life 2006-3-20 41 / 2174 2008-9-25 10:41 AM by robin_cy
  [推荐]上海复旦的STA与FM教程 附件   1 2 3 4 5 6 .. 9 5life 2005-11-27 118 / 7388 2008-9-25 10:40 AM by robin_cy
  FORMALITY USER GUILD 附件   1 2 3 4 5 6 .. 12 aimechen 2006-1-11 167 / 8328 2008-9-22 03:13 PM by scofieldytf
  静态时序分析（Static Timing Analysis）基础 附件   1 2 3 4 5 5life 2005-11-27 57 / 3506 2008-9-15 08:29 AM by synerlus
  介绍1篇自写的formality培训文档 附件 hawky 2008-8-15 5 / 142 2008-9-5 03:18 PM by binglingxiao
  PrimeTime Application Example 5life 2006-3-11 2 / 1150 2008-8-27 07:14 PM by syb1203
  [讨论] Formality中的问题，不知道有没有人遇到过 yeyewowo 2008-4-23 3 / 144 2008-8-16 10:19 PM by powerg3
  用Quartus II做综合的话，那么formality验证时的验证库是什么？我急需呀兄弟姐妹 lling65 2006-5-6 2 / 851 2008-8-16 10:14 PM by powerg3
  请教formality中unread point怎样解决？ hawk_fan 2006-3-22 9 / 1114 2008-8-16 10:09 PM by powerg3
  [求助] 那位Formality高人知道这两个词是什么意思？ catcat1028 2008-3-11 3 / 216 2008-8-16 10:03 PM by powerg3
  PrimeTime的参考脚本（根据不同的阶段和不同的需要进行删减） seraph_ll 2008-3-6 2 / 233 2008-8-8 09:50 AM by gfans
  PrimeTime 时序分析流程和方法 附件   1 2 5life 2006-3-20 17 / 2484 2008-8-5 08:05 PM by gongxiao
  pt user guide (fundamental) 附件   1 2 yifeier 2006-2-27 24 / 1571 2008-7-30 01:41 PM by creepsheep
  不知道将这问题发到哪里，暂时放这里了。请求大家给予一些validation的资料 xiaer 2008-7-10 0 / 83 2008-7-10 03:16 PM by xiaer
  共享一个看到的PT资料 附件   1 2 3 4 minghuanju 2006-3-15 42 / 2286 2008-6-20 10:01 PM by zzppoo
  PT workshop1 附件   1 2 thelastone 2006-11-8 15 / 928 2008-5-26 05:07 PM by top_jiang
  求助：解释untested原因，谢谢！ wldjy 2008-5-7 0 / 108 2008-5-7 10:10 PM by wldjy
  形式验证中load reference中，可以读多层次的设计吗？既有几个设计。我读都不成功 lling65 2006-4-19 2 / 907 2008-4-23 02:26 PM by yeyewowo
  [求助] 关于Prime Time的几个问题！望大侠不吝赐教！：） 东方之子 2008-3-31 2 / 193 2008-4-16 10:40 PM by xyflier
  [求助] 形式验证之模型验证 dake1025 2007-12-6 3 / 268 2008-3-26 06:58 PM by niepanjj
  欢迎到人才版谈招聘求职职业咨询职场困惑.. blackhyw 2008-3-21 0 / 93 2008-3-21 03:29 PM by blackhyw
  用Xilinx ISE Foundation做综合的话，那么formality验证时的验证库是什么？ eejsy 2006-11-29 4 / 699 2008-3-7 10:42 AM by smallnokia
  Formality遇到out of memory，请各位高手帮忙！ loisfun 2006-5-22 5 / 1121 2008-3-7 10:37 AM by smallnokia
  verplex lec怎么没人讨论呢 yflou 2006-7-5 5 / 1069 2008-3-7 07:46 AM by robberxiong
  IO timing约束的budget？ magmaqk 2008-1-22 1 / 225 2008-2-3 12:05 PM by seraph_ll
  [讨论] STA问题请教``欢迎大家讨论`` xhwc1229 2008-1-6 1 / 223 2008-1-18 05:24 PM by seraph_ll
 51 12
发新话题
查看 排序方式