静态时序分析（STA）和形式验证（formality）

STA,
Formality,
静态时序分析，形式验证
star 4星 · 超过85%的资源 需积分: 37 38 下载量 120 浏览量 2011-04-07 11:29:35 上传 评论 1 收藏 363KB PDF 举报
preview
资源推荐
资源评论
评论 收藏
mapledove
  • 粉丝: 9
  • 资源: 30
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

最新资源