求助 | toggle rate的计算

internal power 跟switch power 的计算都需要知道toggle rate，但是即使读了activty 文件，在文件中也只有输入port、寄存器、memory 这些cell的翻转信息，内部的组合逻辑都是传播计算得到的。static toggle rate 应该只与组合逻辑的输入pin 的toggle rate, probability 和逻辑的功能相关。有谁知道静态toggle rate的计算公式？谷歌找了一些资料，简单的都只说到transition probability的计算；复杂的都涉及到dynamic toggle rate的计算，会把glitch 的因素考虑在内。

在某本书中看到如下描述，一个Nand 门输入toggle rate 跟probability 给定的前提下，输出的toggle rate 是怎么计算得到7.7M/s 的？

求高人指点！