1155
Formality是在數(shù)字電路設(shè)計(jì)流程中一個非常重要的工具。
一、功能類比
想象我們在建造一座大樓，在建造過程中有各種設(shè)計(jì)圖和實(shí)際的建筑結(jié)構(gòu)。Formality就像是一個非常嚴(yán)謹(jǐn)?shù)馁|(zhì)檢員，它的工作是檢查設(shè)計(jì)圖（抽象的數(shù)字電路設(shè)計(jì)）和實(shí)際建成的部分（具象化后的電路）是否完全匹配。
在數(shù)字電路里，就是檢查前端設(shè)計(jì)（基于抽象元器件的設(shè)計(jì)）和后端經(jīng)過各種轉(zhuǎn)換、布局布線后的設(shè)計(jì)是否在邏輯上保持一致。
它類似于一個校對員。在編寫書籍的時候，校對員要確保初稿（前端設(shè)計(jì)）和經(jīng)過排版、修改后的終稿（后端設(shè)計(jì)）內(nèi)容沒有偏差，F(xiàn)ormality要確保從RTL到網(wǎng)表等各個階段轉(zhuǎn)換后的電路邏輯沒有發(fā)生錯誤性的改變。
二、工作原理方面
在數(shù)字電路的設(shè)計(jì)流程中，前端工程師用抽象的方式進(jìn)行設(shè)計(jì)，經(jīng)過綜合等一系列操作后，后端工程師得到具象的電路形式。在這個過程中，由于各種工具的操作、轉(zhuǎn)換，可能會出現(xiàn)一些意外的邏輯改變。
Formality會精確地對比不同階段電路的邏輯關(guān)系，它通過復(fù)雜的算法和規(guī)則，對電路中的各種邏輯元素（比如邏輯門、寄存器等）進(jìn)行檢查。
就好像它拿著一個放大鏡，仔細(xì)查看每個邏輯元素在從前端到后端的轉(zhuǎn)換過程中是否發(fā)生了不應(yīng)該有的變化，比如某個邏輯門的輸入輸出關(guān)系在轉(zhuǎn)換后是否被錯誤地修改了。
從更宏觀的角度看，F(xiàn)ormality在整個數(shù)字電路設(shè)計(jì)的生態(tài)系統(tǒng)中起到了穩(wěn)定和保障質(zhì)量的作用。
如果沒有Formality這樣的工具，就像在沒有質(zhì)量監(jiān)控的生產(chǎn)線上，可能會生產(chǎn)出有缺陷的芯片。而Formality能夠在設(shè)計(jì)階段就發(fā)現(xiàn)并糾正可能存在的邏輯不一致問題，從而提高芯片設(shè)計(jì)的成功率和可靠性。
歡迎加入讀者交流群，備注姓名+公司+崗位。
