码农知识堂 - 1000bd
  •   Python
  •   PHP
  •   JS/TS
  •   JAVA
  •   C/C++
  •   C#
  •   GO
  •   Kotlin
  •   Swift
  • 硅芯思见:“软约束”到底有多“软”


    更多内容请关注下面公众号!

    硅芯思见

    本文纯属学习之用,欢迎指正文中不足,封面图片若有侵权,请及时沟通!

    在SystemVerilog中,约束一般分为两种:一种称之为“硬约束hard constraint”,这种也是我们经常使用到的约束方式,还有另外一种称之为“软约束soft constraint”,那么这个“软约束”是如何使用产生约束呢?本文将通过示例说明“软约束”的使用方法和注意事项。

    “软约束”之所以“软”主要是因为“软约束”提供给了用户更多的自适应性,用户可以通过各种其他约束方式实现对于“软约束”的各种蹂躏。一般情况下,用户使用“软约束”实现默认约束的设置,当有新的约束或者更高优先级的约束时,尽管此时新的约束可能与“软约束”设置约束冲突,但是也不会产生任何warning,但是同样的约束冲突对于“硬约束”是无法忍受的,如下例。

    【示例】“硬约束”约束冲突

    【仿真结果】

    示例中采用的是“硬约束”,因为定义在类中的约束与随机时指定的内嵌约束“矛盾”,所以导致约束解析器解析随机失败,即“硬约束”要求所有相关的约束条件不能互相矛盾,否则将会随机失败。同样的示例,如果我们采用“软约束”结果就不一样了,如下例。

    【示例】

    【仿真结果】

  • 相关阅读:
    application.yml配置文件通过静态变量方式注入
    走进 Java 接口测试之简单解决写接口脏数据问题
    C/C++数据结构之Hash与BloomFilter详解
    半导体行业化学机械抛光为什么选用PFA量筒
    基于TI DRV10970驱动直流无刷电机
    推荐算法——Apriori算法原理
    基于springboot的少儿识字系统
    SD NAND 为什么可以完胜T卡(tf卡/sd卡)?
    单例模式详解
    【Spring Cloud】Docker的基本操作
  • 原文地址:https://blog.csdn.net/m0_46345246/article/details/126568450
  • 最新文章
  • 沪漂五周年了:我越来越迷茫了
    Agentic Skill Routing 实战:别再把所有 Skill 塞进 AI Agent 上下文
    MySQL-Seconds_behind_master的精度误差
    [MAF预定义ChatClient中间件-03]CachingChatClient——利用缓存省钱省时间
    AI的至暗历史:从万众期待到被政府撤资,AI的两次死亡徘徊
    Agent OS :五种驯服不确定性的范式
    PortSwigger SQL注入LAB11
    数据库即时编译JIT
    [Begin]AI Learn Data Day 0
    深度学习进阶(二十七)现代 LLM 的核心架构设计其二:SwiGLU
  • 热门文章
  • 十款代码表白小特效 一个比一个浪漫 赶紧收藏起来吧!!!
    奉劝各位学弟学妹们,该打造你的技术影响力了!
    五年了,我在 CSDN 的两个一百万。
    Java俄罗斯方块,老程序员花了一个周末,连接中学年代!
    面试官都震惊,你这网络基础可以啊!
    你真的会用百度吗?我不信 — 那些不为人知的搜索引擎语法
    心情不好的时候,用 Python 画棵樱花树送给自己吧
    通宵一晚做出来的一款类似CS的第一人称射击游戏Demo!原来做游戏也不是很难,连憨憨学妹都学会了!
    13 万字 C 语言从入门到精通保姆级教程2021 年版
    10行代码集2000张美女图,Python爬虫120例,再上征途
小工具 小游戏
Copyright © 2022 侵权请联系2656653265@qq.com    京ICP备2022015340号-1

京公网安备 11010502049817号