Type Inference for IP Composition

Type inference and type matching algorithms in the context of a component composition framework are described in this paper. These algorithms facilitate automatic construction of system models from existing SystemC IPs. The approach uses a component composition language to describe an architecture for the system under design and then through automated selection of IPs from an IP library instantiate the architecture. This approach gives rise to many typing problems, and our efficient solutions produce an effective IP-reuse based system modeling and architectural exploration tool that provides productivity gain.