超大规模集成电路的飞速发展，使人们越来越多的考虑利用已设计好的电路模块来加速系统设计，即设计重用问题。随着可重用模块数目的增长，搜索和分配可重用模块也变得越来越复杂。如何选择合适的元件来实现系统芯片设计是目前面临的重大难题之一。 本文中提出的改进的符号多项式模型方法能在一定程度上解决这一难题。它能把组合电路和时序电路的位级描述的设计规范表示成字级多项式。这种方法有助于多项式模型的化简。对时序电路，通过确立其等效的组合电路，理论上也可以解决，但过程非常复杂，本文仅就此做一些简单的探讨。 用本文改进的方法确立电路的多项式模型后，再利用Grbner Basis理论可以解决元件匹配问题。首先求出元件库的多项式表示生成的理想，然后求出该理想的Grbner Basis。由于已有的串行匹配算法在进行多项式的分解时，时间复杂度太高，于是本文在共享主存多指令流多数据流MIMD编程模型下，提出了一种并行算法。该并行算法从两个方面对原来的算法进行并行化。一方面是基于分组策略的粗粒度并行算法，另一方面是细粒度并行化简算法。随后对串并两种算法的复杂性进行了分析和比较。接下来还指出了算法需要进一步改进的地方。最后给出本文的结论。