本篇是介紹介紹約束可傳遞架構(gòu)的開篇，還沒有為它命名，也趕上最近比較忙，就寫一篇算一篇，有空再統(tǒng)一整理吧。
MECE原則（相互獨(dú)立，完全窮盡）
MECE原則是麥肯錫提出的一套分析問題的方式方法（麥肯錫全套書有介紹）
雖然MECE有自身的缺陷，但這個(gè)缺陷在約束這里就顯得不那么重要，正好可以被我們用起來，這里說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è)重要的需要被解決問題，如果只存在一個(gè)區(qū)間約束還好做，如果存在多個(gè)呢，且多個(gè)之間是互斥的又該如何解決。比如在axi傳輸中多地址區(qū)間隨機(jī)選擇和約束問題。后面會(huì)重點(diǎn)介紹該約束的處理方法。
外部定向約束
這算一種簡(jiǎn)單約束，直接跳過
其它約束
還有一些其它的約束類型，但對(duì)約束傳遞暫時(shí)不構(gòu)成影響，就先不討論。
外部約束與自身約束的關(guān)系
我們這里不討論錯(cuò)誤注入，外部約束一定在內(nèi)部約束范圍內(nèi)，這樣就要求所有外部規(guī)則一定在內(nèi)部基本規(guī)則的范圍內(nèi)定義。
該框架是我們花了兩年的時(shí)間剛研究出來并用于實(shí)踐的，不少思想還在打磨階段，如有不足之處，歡迎各路好友斧正。
審核編輯：劉清
聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問題，請(qǐng)聯(lián)系本站處理。
舉報(bào)投訴
原文標(biāo)題：隨機(jī)約束的分類
文章出處：【微信號(hào)：處芯積律，微信公眾號(hào)：處芯積律】歡迎添加關(guān)注！文章轉(zhuǎn)載請(qǐng)注明出處。
相關(guān)推薦
）的比較： 一、與體系分類法的比較 立類原則 ： DDC：以學(xué)科立類為主，強(qiáng)調(diào)體現(xiàn)類目的系統(tǒng)性。它按照一定的體系將各種不同的主題劃分為不同的類別，盡量細(xì)分，為每個(gè)已知的主題準(zhǔn)備一個(gè)位置。 體系分類法：同樣堅(jiān)持劃分的學(xué)科系統(tǒng)性
![的頭像]()
發(fā)表于 12-18 15:10
?231次閱讀
內(nèi)存儲(chǔ)器（Internal Memory），也稱為主存儲(chǔ)器或隨機(jī)存取存儲(chǔ)器（RAM），是計(jì)算機(jī)系統(tǒng)中用于存儲(chǔ)數(shù)據(jù)和程序的硬件組件。它是計(jì)算機(jī)運(yùn)行過程中最直接、最快速的數(shù)據(jù)存取介質(zhì)。 內(nèi)存儲(chǔ)器的分類
![的頭像]()
發(fā)表于 10-14 10:09
?748次閱讀
差動(dòng)保護(hù)動(dòng)作電流整定原則涉及多個(gè)方面，以下是對(duì)該原則的介紹： 一、基本原則 對(duì)稱性原則 ：差動(dòng)保護(hù)動(dòng)作電流應(yīng)該在正、負(fù)序電流及零序電流相等時(shí)
![的頭像]()
發(fā)表于 10-08 15:45
?959次閱讀
電路的兩類約束通常指的是電氣約束和物理約束。這兩類約束在電路設(shè)計(jì)和分析中起著至關(guān)重要的作用。 一、電氣約束 電氣
![的頭像]()
發(fā)表于 08-25 09:34
?898次閱讀
DRAM（Dynamic Random Access Memory），即動(dòng)態(tài)隨機(jī)存取存儲(chǔ)器，是計(jì)算機(jī)系統(tǒng)中廣泛使用的內(nèi)存類型之一。它以其高速、大容量和相對(duì)低成本的特點(diǎn)，在數(shù)據(jù)處理和存儲(chǔ)中發(fā)揮著關(guān)鍵作用。以下將詳細(xì)介紹DRAM的分類
![的頭像]()
發(fā)表于 08-20 09:35
?3207次閱讀
風(fēng)華貼片電容的分類詳細(xì)介紹如下： 一、根據(jù)材質(zhì)和結(jié)構(gòu)分類 1、陶瓷貼片電容： 特點(diǎn)：體積小、容量大、溫度穩(wěn)定性好。 應(yīng)用：廣泛應(yīng)用于各種電子設(shè)備中，包括汽車電子、通信設(shè)備、工業(yè)控制和消費(fèi)電子等領(lǐng)域
![的頭像]()
發(fā)表于 07-01 15:00
?364次閱讀
繼電器是一種電氣設(shè)備，它根據(jù)輸入信號(hào)的變化來控制輸出電路的通斷。繼電器廣泛應(yīng)用于各種自動(dòng)化控制系統(tǒng)、保護(hù)系統(tǒng)、通信系統(tǒng)等領(lǐng)域。本文將詳細(xì)介紹繼電器的工作原理、分類、主要參數(shù)、選型原則以及應(yīng)用實(shí)例
![的頭像]()
發(fā)表于 06-21 10:40
?7295次閱讀
添加約束的目的是為了告訴FPGA你的設(shè)計(jì)指標(biāo)及運(yùn)行情況。在上面的生成約束之后，在Result àxx.sdc中提供約束參考（請(qǐng)注意該文件不能直接添加到工程中，需要熱復(fù)制到別的指定目錄或者新建自己的SDC文件添加到工程）。
![的頭像]()
發(fā)表于 04-28 18:36
?2311次閱讀
LOC約束是FPGA設(shè)計(jì)中最基本的布局約束和綜合約束，能夠定義基本設(shè)計(jì)單元在FPGA芯片中的位置，可實(shí)現(xiàn)絕對(duì)定位、范圍定位以及區(qū)域定位。
發(fā)表于 04-26 17:05
?1219次閱讀
基本介紹 傳感器（英文名稱：transducer/sensor）是能感受到被測(cè)量的信息，并能將感受到的信息，按一定規(guī)律變換成為電信號(hào)或其他所需形式的信息輸出，以滿足信息的傳輸、處理、存儲(chǔ)、顯示、記錄
![的頭像]()
發(fā)表于 03-28 18:21
?2458次閱讀
BOSHIDA DC電源模塊的分類及特點(diǎn)介紹 DC電源模塊是一種將交流電轉(zhuǎn)換為直流電的設(shè)備，廣泛應(yīng)用于各種電子設(shè)備中。根據(jù)其特點(diǎn)和功能，DC電源模塊可以分為線性穩(wěn)壓模塊和開關(guān)穩(wěn)壓模塊兩種。本文將詳細(xì)
![的頭像]()
發(fā)表于 03-26 13:54
?635次閱讀
隨機(jī)森林使用名為“bagging”的技術(shù)，通過數(shù)據(jù)集和特征的隨機(jī)自助抽樣樣本并行構(gòu)建完整的決策樹。雖然決策樹基于一組固定的特征，而且經(jīng)常過擬合，但隨機(jī)性對(duì)森林的成功至關(guān)重要。
發(fā)表于 03-18 14:27
?3588次閱讀
逆變器的分類介紹 逆變器應(yīng)該怎么選擇 逆變器的接線方法? 逆變器是一種將直流電轉(zhuǎn)換為交流電的設(shè)備。它的主要作用是將太陽能電池板、風(fēng)能發(fā)電機(jī)或電力電池等直流電源所產(chǎn)生的電能，轉(zhuǎn)換為交流電以供家庭、商業(yè)
![的頭像]()
發(fā)表于 02-01 09:45
?3259次閱讀
的不良影響。在進(jìn)行PCB布線設(shè)計(jì)時(shí)，需要遵循一定的規(guī)則和原則，下面我們將會(huì)介紹PCB設(shè)計(jì)中的六大布線規(guī)則。 PCB設(shè)計(jì)六大布線規(guī)則 一：按照傳輸信號(hào)速度分類 在布線時(shí)需要按照信號(hào)傳輸速度的不同進(jìn)行
![的頭像]()
發(fā)表于 01-22 09:23
?2117次閱讀
在進(jìn)行布局約束前，通常會(huì)對(duì)現(xiàn)有設(shè)計(jì)進(jìn)行設(shè)計(jì)實(shí)現(xiàn)（Implementation）編譯。在完成第一次設(shè)計(jì)實(shí)現(xiàn)編譯后，工程設(shè)計(jì)通常會(huì)不斷更新迭代，此時(shí)對(duì)于設(shè)計(jì)中一些固定不變的邏輯，設(shè)計(jì)者希望它們的編譯結(jié)果
![的頭像]()
發(fā)表于 01-02 14:13
?1516次閱讀
MECE原則 隨機(jī)約束的分類介紹
工商網(wǎng)監(jiān)
評(píng)論