is refered to
指的是
以上为机器翻译结果，长、整句建议使用 人工翻译 。
This is refered to as correlation.
这就称为关联。
youdao
This is refered to as a self-transition.
这称为自转换。
Refered to formal verification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.
引用数字硬件形式化证明的思想，提出了对保证维护进行形式化描述和验证的思路。
应用推荐
模块上移
模块下移
不移动