Keywords Simulation;Formal Verification;Equivalence Checking;Binary Decision Diagrams;Boolean Satisfiability;Cut;Latch Mapping;Assume-And-Then-Verify;Symbolic Backward Justification;
英
美
释义
模拟验证;形式验证;等价性验证;二叉决策图;可满足性;割集;锁存器匹配;先假设后验证;符号回溯验证;
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载