MECE原则 随机约束的分类介绍

本篇是介绍介绍约束可传递架构的开篇,还没有为它命名,也赶上最近比较忙,就写一篇算一篇,有空再统一整理吧。
mece原则(相互独立,完全穷尽)
mece原则是麦肯锡提出的一套分析问题的方式方法(麦肯锡全套书有介绍)
虽然mece有自身的缺陷,但这个缺陷在约束这里就显得不那么重要,正好可以被我们用起来,这里说mece原则是因为,这也正是我们约束分解的一种很好的方式方法,并且可为约束传递提供便利。
随机约束的分类
从依赖度看,可分为外部依赖和非外部依赖两种。非外部依赖为所有的约束信息都是trans内部提供,不需要外界干预,比如a*b 非外部依赖是我们经常使用的方式,这里就不详细介绍了,重点介绍下外部约束部分。
外部多区间约束
我们对地址的约束属于多区间约束 ,因为sv本身对同一个变量的约束有要求,所以多区间要素是一个重要的需要被解决问题,如果只存在一个区间约束还好做,如果存在多个呢,且多个之间是互斥的又该如何解决。比如在axi传输中多地址区间随机选择和约束问题。后面会重点介绍该约束的处理方法。
外部定向约束
这算一种简单约束,直接跳过
其它约束
还有一些其它的约束类型,但对约束传递暂时不构成影响,就先不讨论。
外部约束与自身约束的关系
我们这里不讨论错误注入,外部约束一定在内部约束范围内,这样就要求所有外部规则一定在内部基本规则的范围内定义。
该框架是我们花了两年的时间刚研究出来并用于实践的,不少思想还在打磨阶段,如有不足之处,欢迎各路好友斧正。


IC、LCD等电子产品原材料“涨价潮”来势更加汹涌
动力电池产业现状及技术动态
用虚拟现实技术来代替全身麻痹医疗
瑞声科技遭苹果砍单 如何挽回业绩颓势
中国移动将同步开启“AI新基建 5G新机遇”云端主题论坛
MECE原则 随机约束的分类介绍
Java 中验证码的使用
idea如何运行main方法
亿纬船舶动力系列口碑产品为智慧港口建设注入新动力
一文知道边缘节点对工业物联网的重要性
ForwardXP:通过XR培训实现F.A.S.T(快速)响应
pcb分板机原理_pcb板分板机的种类
ARM处理器设计的电机电物理量采集系统
宁德时代称将线下发布“头号新品”,传为快充电池
充电桩标准是什么?国网1591文件告诉你答案
个人及入门存储市场复苏,一季度增长73.4%
环网柜基础知识介绍(开关柜、断路器柜,负荷开关柜)
点将科技自主设计和制作的TR-ZSY01蒸渗仪
浪潮发布业界首款 8颗GPU的AI服务器,可实现每秒千万亿次的AI计算性能
世界第一的芯片性能强悍,40万核心1.2万亿晶体管