您要查找的是不是:
- Universal cut was generated by tracing from primary outputs, and equivalence of all candidate equivalent points (CEPs) was verified by using universal cut. 从原始输出进行回溯得到通用割集,用通用割集验证所有候选等价点(CEP)的等价性。
- Compared with the method only using universal cut or special cut, the method can obviously improve the speed of verification for combinational circuits. 与只基于通用割集或专用割集的验证方法相比,该方法可以使组合电路的验证速度明显提高。
- Rose bushes shoot again after being cut back. 玫瑰丛修剪後还能再长出新枝。
- In order not to be late, she cut across the fields. 为了不迟到,她抄近路穿过田野。
- He cut off a bunch of grapes to entertain us. 他剪下一串葡萄招待我们。
- She reckoned she had cut her cost by half. 她估计她减少了一半的费用。
- The flood cut a wide swath in this area. 洪水席卷了这一地区,满目一片疮痍。
- The slide cut off the valley from the rest of the world. 山崩切断了这个山谷与外界的联系。
- Overpopulation is a universal problem. 人口过多是全球性的问题。
- Music has been called the universal language. 人们称音乐为世界的语言。
- I must say I didn't like the cut of his jib. 说实在的,我不喜欢他那个样子。
- His courage compels universal admiration. 他的勇气不禁令人肃然起敬。
- I cut myself on the cheek with my razor. 我不小心被刮胡刀割伤了脸颊。
- Peter and Susan seem to be cut out for each other. 彼得和苏珊似乎是天生的一对。
- The comedy tine was cut out as being off side. 笑料由于低级趣味而被删去。
- Television provides universal entertainment. 电视提供大众化的娱乐。
- She was cut to the quick by his insults. 她受他侮辱而十分伤心。
- Our tanks cut in ahead of the escaping aggressors. 我们的坦克抢到前面去拦住那些溃逃的侵略者。
- He often cut recitation during his college days. 他上大学时经常无故旷课,逃避背诵练习。
- The surgeon cut out all the diseased tissue. 外科大夫把坏了的组织都切除掉。