动态CMOS逻辑怎样描述？

小弟以前只知道组合逻辑电路和时序逻辑电路可以用verilog描述，用DC综合。
现在遇到一个动态CMOS逻辑电路，就是那种有precharge和evaluation的电路，求问应该怎样描述?涉及哪方面的东西?

动态的不能，只能手动加。我也才刚学过。

    您能进一步讲讲要学什么东西吗?小弟拜谢~

   数字集成电路可以看看。