Author(s)

Shaorong Feng

Corresponding Author

Shaorong Feng

Abstract

At present, electronic products are developing toward the small-volume, multi-functional, high-density trends, led to a more complex PCB board design, therefore, the automatic checkup method for Processability, manufacturability and assembly of design files becomes more and more important.The existing checkup tools for design files have some shortages, such as too few objects examined, inconvenience, poor flexibility and scalability, etc. That affected the processing quality and efficiency of PCB board.. In this paper, predicate logic method is used to express the checkup rules of PCB board, and a new checkup model is posed. It uses checkup model presented in this paper to reason, finally gives the checkup results, effectively solves the existing checkup tools' few objects examined, poor interaction,etc. Experimental results show that, the knowledge representation method presented in this paper is simple, and the checkup model works well, has high automation, good interactive, strong flexibility, adaptability and scalability.

Keywords

PCB, Knowledge representation, Predicate logic, Automatic checkup