您要查找的是不是：
- Word level model checking based on decision diagrams can verify arithmetic circuits completely,but its bug finding is time-consuming. 基于决策图的字级模型检验方法虽然能完全验证运算电路;但它从有缺陷的设计中发现系统规范的反例所需时间较长.
- The approach can he easily incorporated into existing RTL to gate equivalence checking frameworks and increase the robustness of equivalence checking for arithmetic circuits. 该算法可以直接结合到现有的寄存器传输级(RTL)和门级网表的验证流程中，从而提高算术电路的验证能力。
- The little boy was not good at arithmetic. 这个小男孩算术不太好。
- She grounded her pupils well in arithmetic. 她给自己的学生打下良好的算术基础。
- Implementation High-Speed Modular Arithmetic Circuit with Improved Look-up Table 用改进的查表法实现高速模运算电路
- He got the answer by mental arithmetic. 他用心算得出了答案。
- He is good at mental arithmetic. 他擅长心算。
- I'm good at history but not so hot at arithmetic. 我的历史成绩不错，但算术不太好。
- There are two breakers in this circuit. 这个电路里面使用了两个断路器。
- A replaceable printed circuit board. 一种可替换的印制电路板。
- He brushed up on fractions before taking the arithmetic test. 在参加算术考试前他又重温了分数。
- The circuit of the city walls is three miles. 环绕本市城墙的周长是三英里。
- There must be a break in the circuit. 电路中一定有断路。
- A short circuit will blow the fuse. 短路会烧断保险丝的。
- A short circuit put the machine out of action. 短路使机器停转。
- The switches close the contacts and complete the circuit. 这些开关可使接触器接通电流形成回路。
- What's the correct answer to this arithmetic question? 这道算术问题的正确答案是什么?
- My brother is poor at arithmetic. 我弟弟的算术很差。
- Her school report shows that she is weak at/in arithmetic and biology. 从她的学习成绩单可看出她算术和生物成绩差。
- Don't connect up the two wires, or there will be a short circuit. 不要把这两条电线接在一起，否则会短路的。
