Formality在數(shù)字電路設(shè)計(jì)中的作用
Formality是在數(shù)字電路設(shè)計(jì)流程中一個(gè)非常重要的工具。想象我們?cè)诮ㄔ煲蛔髽?,在建造過(guò)程中有各種設(shè)計(jì)圖和實(shí)際的建筑結(jié)構(gòu)。Formality就像是一個(gè)非常嚴(yán)謹(jǐn)?shù)馁|(zhì)檢員,它的工作是檢查設(shè)計(jì)圖(抽象的數(shù)字電路設(shè)計(jì))和實(shí)際建成的部分(具象化后的電路)是否完全匹配。