Verification on port connections

Abstract

In a system-on-a-chip (SOC) design, several to hundreds Of design blocks or intellectual properties (IPs) are integrated to form a complex function. Prior to verify the functionality of the integrated IPs, it is very important to ensure the correctness of the port connections among these IPs. This paper addresses the problem of verification on port connections while IPs are integrated into a larger block or a system, and presents a new connection model and the corresponding error model for port connections. An algorithm providing the mininium pattern set and a general verification flow used to verify port connections are also proposed.