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

MECE原則（相互獨(dú)立，完全窮盡）

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

雖然MECE有自身的缺陷，但這個(gè)缺陷在約束這里就顯得不那么重要，正好可以被我們用起來(lái)，這里說(shuō)MECE原則是因?yàn)椋@也正是我們約束分解的一種很好的方式方法，并且可為約束傳遞提供便利。

隨機(jī)約束的分類

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

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

外部多區(qū)間約束

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

外部定向約束

這算一種簡(jiǎn)單約束，直接跳過(guò)

其它約束

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

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

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

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

審核編輯：劉清