第10章 遞歸屬性

                                               圖10.1遞歸屬性-基礎  遞歸屬性只是表明一個條件成立。該屬性使用正確的非重疊蘊涵運算符調用它自己，並糾正左側表達式和右側表達式關係。如圖10.1（頂部屬性rc1）所示，如果ra爲真，並且在下一個時鐘rc1（ra）爲真，則rc1應該在其自身上重現。請注意，rc1中的先行詞（|=>左邊表達式）是1'b1，

>>阅读原文<<