1) cell-divided verifying
分块验证
2) design under verification
待验证模块
1.
The design of traditional verification platform is related to the design under verification.
使用验证平台可以提高验证效率,传统的验证平台是针对特定的待验证模块设计的,不同的设计需要开发不同的验证平台。
3) DUT (Design Under Test)
被验证模块
4) blocking test
分块试验
5) verification
[英][,verifi'keiʃən] [美][,vɛrɪfɪ'keʃən]
验证分析
6) analyze and verify
分析验证
补充资料：分块对角算子
分块对角算子
block - diagonal operator
分块对角算子)bl以尘一山ag00al 01犯m妞;皿泌~即~。~云.州四T叩}关于凡lbert空间H的一个给定的正交分解H=艺、1。从的 H卜一个线巴算子滩，它对每个子空间H*(k妻l)是不变的A的谱是诸“分块”Af，，、二A、(人)l)的谱的并的闭包、{引}二、、甲‘、到戍;在广泛的意义下，个分块对角算f是在氏l忱rt空间的直接积分中乘以函数又的算一护，组- H一石。““，“风‘’，‘A“‘’二·“)f(‘’，‘任M·这银又(t)是作用了空间H(r)上的线性算子.每个与-个正规算子交换的算r，关于这个止规算子的谱分解，是个分块对角算一J几.亦见对角算子(diagonal operator).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条