Model Checking is one of the formal tools that uses state space searching to automatically verify whether a finite state system can meet the design specifications or not. In the course, IP core is widely used in circuit design. However, it still remains unknown whether the critical security data would be modified or leaked through IP cores. In this paper, an innovative tool chain based on black box tint technique is proposed. We used the tint based method to tint every input and output, which could verify the security properties of every path in a circuit. NuSMV was selected as the model checker. Finally, the experiments suggested that the security path checking of a circuit could be easily verified by using this pattern.