在英伦管架有限公司(BPS)内,文件的存放在档案室内配锁的档案柜中,防止记录被盗或受到损坏。
In BPS, the storage facility shall be file cabinets with locks in the record Room provided to guard the records against larceny and vandalism.
为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法。
A novel latch mapping technique for equivalence checking was proposed to overcome the limit of low accuracy of previous mapping methods.
该数目过去是固定不变的,但在IDS的后来版本(IDS 9.20以及更高版本)中,当用户会话缺少锁时,就可以动态地分配锁。
This number used to be fixed, but the later versions of IDS (IDS 9.20 and above) are able to dynamically allocate locks when user session is short of locks.
应用推荐