由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法。
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.)
应用推荐