由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
证明了在符号定时精确已知时,时域估计方法和之前提出的频域估计方法的等价性。
Equivalence of the proposed method and the frequency domain estimation method proposed previously is proved.
给定一个文件名列表,剔除那些引用父目录(不带符号链接,只有'。'、'…'和等价)。
Given a list of file names, strip out those that refer to a parent directory. (Does not strip symlinks, only '. ', '... ', and equivalents.)
本文探讨了制约地图符号设计的内在的基本规律,提出了地图符号的约定性原则和等价性原理。
The existing regularity which has an important influence on the design of map symbols is studied in this paper.
本文探讨了制约地图符号设计的内在的基本规律,提出了地图符号的约定性原则和等价性原理。
The existing regularity which has an important influence on the design of map symbols is studied in this paper.
应用推荐