The Optimized Derivation for Structure Matrix in Circuit States Checking via Semi-tensor Product

摘要：

　　This paper presents a novel scheme based on the semi-tensor product of matrices for circuit states checking.The logical dynamics is converted into a standard discrete linear dynamics,which makes some results for discrete time linear systems applicable to the analysis of hardware circuit.An example of a counter illustrates the effectiveness of our approach on practical applications.

关键词： semi-tensor product circuit states checking

作者: Lu Shan Zhan Jinyu Yang Guowu

作者单位: School of Information and Software Engineering, University of Electronic Science and Technology of China Chengdu, China

会议类型: 国际会议

会议名称: 2012年国际工程应用数学研讨会

会议地点: 北京

会议语种:英文

页码: 267-271

在线出版日期: 2012-10-26（万方平台首次上网日期，不代表论文的发表时间）