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

本篇是介绍介绍约束可传递架构的开篇，还没有为它命名，也赶上最近比较忙，就写一篇算一篇，有空再统一整理吧。

MECE原则（相互独立，完全穷尽）

MECE原则是麦肯锡提出的一套分析问题的方式方法（麦肯锡全套书有介绍）

虽然MECE有自身的缺陷，但这个缺陷在约束这里就显得不那么重要，正好可以被我们用起来，这里说MECE原则是因为，这也正是我们约束分解的一种很好的方式方法，并且可为约束传递提供便利。

随机约束的分类

从依赖度看，可分为外部依赖和非外部依赖两种。非外部依赖为所有的约束信息都是trans内部提供，不需要外界干预，比如A*B

非外部依赖是我们经常使用的方式，这里就不详细介绍了，重点介绍下外部约束部分。

外部多区间约束

我们对地址的约束属于多区间约束，因为sv本身对同一个变量的约束有要求，所以多区间要素是一个重要的需要被解决问题，如果只存在一个区间约束还好做，如果存在多个呢，且多个之间是互斥的又该如何解决。比如在axi传输中多地址区间随机选择和约束问题。后面会重点介绍该约束的处理方法。

外部定向约束

这算一种简单约束，直接跳过

其它约束

还有一些其它的约束类型，但对约束传递暂时不构成影响，就先不讨论。

外部约束与自身约束的关系

我们这里不讨论错误注入，外部约束一定在内部约束范围内，这样就要求所有外部规则一定在内部基本规则的范围内定义。

该框架是我们花了两年的时间刚研究出来并用于实践的，不少思想还在打磨阶段，如有不足之处，欢迎各路好友斧正。

审核编辑：刘清