... 图纸表 list of drawing 图置换 diagram substitution 图中路径 path in graphs ...
双语例句
1
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.