This paper presents fixed points of a kind of Sequential mapping and its properties.
本文在完备的度量空间中给出了一类顺序映射的不动点及其性质。
In order to overcome the difficulties, a sequential quadratic approximate algorithm is proposed based on exact dual mapping.
为了克服这些困难，提出了一种基于序列二次近似算法精确的对偶映射。
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
为了提高时序电路的等价性验证速度，提出一种改进的基于寄存器匹配的验证算法。
应用推荐