formal equivalence checking的意思|示意
美 / /
英 / /
形式等价性检验
formal equivalence checking的网络常见释义
等效性形式检验 等效性布尔检验boolean equivalence checking 等效性形式检验formal equivalence checking 测试套件由功能级向RTL级的移植functional to RTL test suite migration ..