摘要

基于限位数理论与方法 ,介绍了计算机算法理论P/NP问题中,关键集成电路问题(SAT)求解方法 ,运用子句包含消去的方法,可以求出SAT问题全解;引进二进制数据纠缠态表示,将逻辑电路的合取范式(CNF)用表格表示;在纠缠态数据表达基础上,设计了能够同时处理2n个数据的并行处理器(SAT process unit,SPU);用EDA软件和开发板将SPU组合到自己设计的教学CPU结构中,形成了既能串行计算,又能并行计算的仿量子计算机系统。仿量子计算机设计可推动国内集成电路产业和计算机产业的跨越发展。

全文