本篇是介紹介紹約束可傳遞架構(gòu)的開篇，還沒有為它命名，也趕上最近比較忙，就寫一篇算一篇，有空再統(tǒng)一整理吧。

MECE原則（相互獨立，完全窮盡）

MECE原則是麥肯錫提出的一套分析問題的方式方法（麥肯錫全套書有介紹）

雖然MECE有自身的缺陷，但這個缺陷在約束這里就顯得不那么重要，正好可以被我們用起來，這里說MECE原則是因為，這也正是我們約束分解的一種很好的方式方法，并且可為約束傳遞提供便利。

隨機約束的分類

從依賴度看，可分為外部依賴和非外部依賴兩種。非外部依賴為所有的約束信息都是trans內(nèi)部提供，不需要外界干預，比如A*B

非外部依賴是我們經(jīng)常使用的方式，這里就不詳細介紹了，重點介紹下外部約束部分。

外部多區(qū)間約束

我們對地址的約束屬于多區(qū)間約束，因為sv本身對同一個變量的約束有要求，所以多區(qū)間要素是一個重要的需要被解決問題，如果只存在一個區(qū)間約束還好做，如果存在多個呢，且多個之間是互斥的又該如何解決。比如在axi傳輸中多地址區(qū)間隨機選擇和約束問題。后面會重點介紹該約束的處理方法。

外部定向約束

這算一種簡單約束，直接跳過

其它約束

還有一些其它的約束類型，但對約束傳遞暫時不構(gòu)成影響，就先不討論。

外部約束與自身約束的關(guān)系

我們這里不討論錯誤注入，外部約束一定在內(nèi)部約束范圍內(nèi)，這樣就要求所有外部規(guī)則一定在內(nèi)部基本規(guī)則的范圍內(nèi)定義。

該框架是我們花了兩年的時間剛研究出來并用于實踐的，不少思想還在打磨階段，如有不足之處，歡迎各路好友斧正。

審核編輯：劉清