Logic synthesis plays a crucial role in the modern electronic design automation process.With the continuous enhancement of computational capabilities and the emergence of new computing paradigms,various efficient Boolean SATisfiability(SAT)solvers and circuit simulators have been developed and applied in the context of logic synthesis.First,the overview of the Boolean Satisfiability problem and circuit logic simulator is briefly described.Subsequently,the historical development of the matrix semi-tensor product is reviewed,and based on the fundamental principles of the semi-tensor product,its research progress in inference engines and logic synthesis is expounded.Finally,a prospective analysis is conducted on emerging technologies that may significantly impact logic synthesis in the future.
维普
万方数据