作及物动词时，意思是核实，证明，判定。
verify的各种不同形式为：
1.第三人称单数形式是verifies；
2.现在分词形式是verifying；
3.过去式为verified；
4.过去分词为verified。
verify的派生词有：
1.verification是名词，意为对假说的证实；
2.verifiable是形容词，意为能作证的，能证实的。
乘法器大致有三类
1.反复式乘法器（Iterative Structure Multiplier）即移位累加乘法器;
2.阵列式乘法器（Array Structure Multiplier）;
3.树状结构乘法器（Tree Structure Multiplier）;反复式面积最小，但耗时钟数最多；阵列式乘法器速度快些，结构规则，但关键路径时延和面积都随乘数被乘数的比特位同比递增；现多采用树状结构乘法器，即部分积+压缩树+最终加法器结构，如Booth编码器+Wallace树+CLA加法器。
附件是1个17x17的树状结构乘法器实现pdf文件。