第10章 递归属性

                                               图10.1递归属性-基础  递归属性只是表明一个条件成立。该属性使用正确的非重叠蕴涵运算符调用它自己，并纠正左侧表达式和右侧表达式关系。如图10.1（顶部属性rc1）所示，如果ra为真，并且在下一个时钟rc1（ra）为真，则rc1应该在其自身上重现。请注意，rc1中的先行词（|=>左边表达式）是1'b1，

>>阅读原文<<