As a research hotspot,Boolean network synchronization has achieved some results recently,including the basic concepts of Boolean network synchronization,conditions of synchronization,methods of synchronization control,and applications of synchronization in practical systems.The matrix semi-tensor product theory provides a new theoretical framework and method for the study of Boolean network synchronization,which promotes the development and progress in this field.Based on theory,Boolean network synchronization model is established,the connection relationship between nodes and the state update rules are discussed in depth,and the sufficient and necessary conditions for realizing synchronization are analyzed,which provides a reference for enriching the research on Boolean network synchronization.