mastosh的个人空间 https://blog.eetop.cn/899845 [收藏] [复制] [分享] [RSS]

空间首页 动态 记录 日志 相册 主题 分享 留言板 个人资料

日志

constraint

已有 584 次阅读| 2018-2-4 18:14 |系统分类:芯片设计

1,语法
      constraint一般会用到foreach来对数组进行操作或者运算。
      一些实际例子就是,要将一些复杂运算拆分。运用好post_randmize。 
        比如shuffle比unique好很多。
        慎用soft.
       :=表示每个元素概率相等。
       :/表示取值范围内每个元素概率相等。
2,解约束
       log会提供一些手段。
     constraint debuger工具
3,分层次约束
     一般的简单约束,一些特定的依赖约束需要在post部分去执行。

点赞

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 注册

  • 关注TA
  • 加好友
  • 联系TA
  • 0

    周排名
  • 0

    月排名
  • 0

    总排名
  • 0

    关注
  • 1

    粉丝
  • 0

    好友
  • 0

    获赞
  • 0

    评论
  • 1017

    访问数
关闭

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

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

GMT+8, 2024-4-27 00:44 , Processed in 0.023784 second(s), 14 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部