本篇內(nèi)容介紹了“KeyPoint Mapping status是什么”的有關(guān)知識(shí)，在實(shí)際案例的操作過程中，不少人都會(huì)遇到這樣的困境，接下來就讓小編帶領(lǐng)大家學(xué)習(xí)一下如何處理這些情況吧！希望大家仔細(xì)閱讀，能夠?qū)W有所成！

成都創(chuàng)新互聯(lián)公司于2013年開始，是專業(yè)互聯(lián)網(wǎng)技術(shù)服務(wù)公司，擁有項(xiàng)目成都網(wǎng)站制作、做網(wǎng)站網(wǎng)站策劃，項(xiàng)目實(shí)施與項(xiàng)目整合能力。我們以讓每一個(gè)夢(mèng)想脫穎而出為使命，1280元遼中做網(wǎng)站,已為上家服務(wù),為遼中各地企業(yè)和個(gè)人服務(wù),聯(lián)系電話:028-86922220

Mapping 之后，配對(duì)且綁定成功的點(diǎn)被稱作"Mapped Key Points"; 沒有配對(duì)或綁定，或即便配了對(duì)卻是 "假夫妻" 的統(tǒng)統(tǒng)被稱作 "Unmapped Key Points". 這世上的幸福大抵相似也沒什么好去描述的，而不幸福卻有各自的孤獨(dú)，故值得探討。"Unmapped Key Points" 緣于不同原因可被分為三類：

• Unreachable key points

• Extra key points

• Not-mapped key points

Unreachable key points:

這一類是 "假夫妻"，因?yàn)樗麄儾痪吖δ苄浴?/p>

嚴(yán)肅定義：這些key points 不會(huì)扇出到任何的primary output 端口、也不會(huì)扇出到任何其他時(shí)序單元的輸入、也不會(huì)扇出到任何black box 的輸入。

說人話：這些key points, 在當(dāng)前模式下，對(duì)整個(gè)電路沒有實(shí)際的邏輯功能，他們只是在那里占著面積耗著功耗。

原因：一類是：這些key points 在該模式下沒邏輯功能，但在其他模式下有，在該模式下被設(shè)置的約束給bypass 掉了，如function 模式下DFT 相關(guān)的邏輯；另一類是：被LEC modeling 處理了，如clock gating cell, 在設(shè)置了" set flatten modeling -gated_clock " 會(huì)被LEC model 成寄存器D pin 的MUX; 另一類是：這些key points 真的就是 "渣渣"，它們沒有意義地活著且浪費(fèi)著資源，多數(shù)是由邏輯優(yōu)化工具優(yōu)化不徹底造成的。 

對(duì)待方式：默認(rèn)，LEC 不會(huì)對(duì)unreachable key points 做map, 也不建議對(duì)unreachable key points 做map, 如果你同情心泛濫非要給它們配對(duì)，可以在map 前設(shè)置命令 "set mapping method –unreach", 后果是增加compare 的時(shí)間且導(dǎo)致更多假的non-eq 點(diǎn)。如果你只想給某一組unreachable key poins 做map 可以用命令 "add mapped points" 設(shè)置。

示例：在如下示例中，由于SEL 端被設(shè)置成了0, 導(dǎo)致FF2 的輸出永遠(yuǎn)不會(huì)被傳播下去，成了一個(gè)unreachable 的key points. 

Extra key points：

這一類是"天注孤"，因?yàn)槊锞蜎]有對(duì)象可與之匹配。

嚴(yán)肅定義：這些key points 只存在于Golden 或Revised 其中之一，不會(huì)同時(shí)存在于兩個(gè)設(shè)計(jì)中。

說人話：這些key poins 可能是primary input, primary output, DFF, Latch, 它們要么是被優(yōu)化掉的冗余邏輯，要么是被增加的非功能ports。

類別及解決辦法：

• 由于穿了馬甲，被誤認(rèn)為"天注孤" 的，對(duì)于這一類，需要用戶加一些renaming rule 將其馬甲脫掉，幫其配對(duì)成功。

• 新增加的非功能ports, 如P&R 階段加入的PG pin, 可以用命令"add pin constraints" 將其設(shè)為常值。如綜合時(shí)加入的DFT ports, 這類ports 不屬于要驗(yàn)證邏輯功能的范疇，如果是output ports 可以直接用命令"add ignored outputs" 將其逐出，設(shè)了ignored 之后不會(huì)被計(jì)入任何mapping status 類型；如果是input ports 如果這些input ports 是某些key points 的輸入，則需要根據(jù)設(shè)計(jì)意圖用命令 "add pin constraints" 做約束，如scan_enable, 如果這些input ports 不扇出到任何key points 則可以直接無視或用命令"add ignored inputs" 將其逐出。

• 冗余的的DFF 和Latch, 如無特別設(shè)置綜合工具會(huì)將冗余邏輯優(yōu)化掉，大部分情況下，在LEC 中如果設(shè)了對(duì)應(yīng)的modeling option, LEC 可以識(shí)別出對(duì)應(yīng)的冗余邏輯，并將對(duì)其做modeling.  對(duì)于一些復(fù)雜設(shè)計(jì)，在compare 之前，LEC 無法確認(rèn)Not-mapped DFF/Latch 是否是冗余的，在compare 過程中，工具會(huì)做更深刻地分析，在比較結(jié)束后會(huì)將這些Not-mapped DFF/Latch 歸類到Extra key points. 所以在一些case 上會(huì)看到比較前后的Extra key points 個(gè)數(shù)發(fā)生變化。

Not-mapped key points:

這一類是"老大難"，他們是來歷劫的，是要?dú)v經(jīng)萬難才能配對(duì)成功。

嚴(yán)肅定義：由于各種原因，LEC 無法輕易在另一個(gè)design 中找到與這些key points 對(duì)應(yīng)的點(diǎn)。

說人話：這類key points 既可能在Golden 中也可能在Revised 中，在無外力協(xié)助時(shí)，LEC 用盡全力也找不到與其對(duì)應(yīng)的點(diǎn)，而這些點(diǎn)大多都是會(huì)導(dǎo)致比較結(jié)果失敗的點(diǎn)，所以要施加各種小魔法，在compare 前將其配對(duì)成功。只有極少數(shù)的點(diǎn)，在compare 過程中，LEC通過深入了解發(fā)現(xiàn)它們不是『老大難』而是『天注孤』或『假夫妻』，在compare 后會(huì)把他們歸于『天注孤』或『假夫妻』。

類別及解決辦法：

• 由于穿了馬甲，他就認(rèn)不出她，對(duì)于這一類，需要用戶加一些renaming rule 將其馬甲脫掉，幫其配對(duì)成功。

• modeling option 設(shè)置不全，LEC 未對(duì)優(yōu)化工具的優(yōu)化行為對(duì)應(yīng)建模，如優(yōu)化動(dòng)作：寄存器的復(fù)制及合并、被優(yōu)化掉的常值寄存器、"don't care" 邏輯被優(yōu)化為常值0/1、將寄存器替換成master-slave latches 、clock gating cell 的插入及復(fù)制、冗余寄存器的優(yōu)化等。對(duì)于這類，需要用"set flatten model" 加對(duì)應(yīng)的option 予以解決；也可以用analyze_setup -effort <high | ultra> 來解；也可以用set_analyze_option -effort_analyze_setup <high | ultra> 來解；但要注意effort 越高用的runtime 越多。

• 在一些case 中，在以上招數(shù)都失敗后，需要用"remodel -notmapped < modeling option >" 對(duì)剩余的點(diǎn)重新建模及匹配。

• 如果上述所有招式都用完，還是有notmapped 點(diǎn)，就先run 一次compare 以確定是否有假的『老大難』隱藏其中。

影響：

『老大難』就是那種讓父母操心朋友掛念的人，對(duì)世界和諧有諸多不良影響。

• Not-mapped 點(diǎn)不會(huì)被當(dāng)做compared 點(diǎn)進(jìn)行邏輯等效性檢查；如果未按如上步驟解決，或努力了仍未解決掉，那比較結(jié)果將被標(biāo)識(shí)成"Incomplete". 

• 如果Not-mapped 點(diǎn)是其他key points 的扇入，則會(huì)導(dǎo)致驗(yàn)證結(jié)果失敗，即Non-eq. 

• 如果比較結(jié)果無Non-eq 且可證實(shí)真沒有對(duì)應(yīng)的點(diǎn)與其匹配，則這類Not-mapped 的點(diǎn)人畜無害可被忽略。

“KeyPoint Mapping status是什么”的內(nèi)容就介紹到這里了，感謝大家的閱讀。如果想了解更多行業(yè)相關(guān)的知識(shí)可以關(guān)注創(chuàng)新互聯(lián)網(wǎng)站，小編將為大家輸出更多高質(zhì)量的實(shí)用文章！

分享名稱：KeyPointMappingstatus是什么
當(dāng)前鏈接：http://chinadenli.net/article46/gojeeg.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供ChatGPT、建站公司、網(wǎng)站制作、網(wǎng)站設(shè)計(jì)公司、域名注冊(cè)、面包屑導(dǎo)航

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來源： 創(chuàng)新互聯(lián)