High-level library mapping based on polynomial representation

Reuse of complex blocks promises to allow designers to implement greater functionality in hardware without extending design time. However, the availability of tools and methodologies that can construct systems out of complex blocks is limited. We present a methodology based on polynomial representation of circuit to implement the component matching. System specification then can be synthesized at the arithmetic level of abstraction by comparing the specification polynomial and component polynomial.