HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

基于多项式良性基的组合逻辑电路的等价性验证

作者:范德会等价验证多项式良性基形式验证组合逻辑电路

摘要:虽然传统的等价性验证方法如BDD或布尔SAT等能够完成低层次的电路验证,但针对抽象层次较高的电路描述验证效率较低,基于多项式的数学方法能够从字级到位级形成统一的电路描述,为高效率地完成等价性验证提供理论依据。探讨组合逻辑电路的多项式描述方法,并以多项式理想的良性基为基础,给出一种高层次等价性验证算法,并针对多种基准电路进行实验,以验证算法的性能。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

黑龙江工程学院学报

《黑龙江工程学院学报》(双月刊)创刊于1987年,由黑龙江省教育厅主管,黑龙江工程学院主办,CN刊号为:23-1498/N,自创刊以来,颇受业界和广大读者的关注和好评。 《黑龙江工程学院学报》主要发表土木与建筑、测绘、交通运输、机械、经济与管理、计算机、电气信息与自动化、仪器仪表、材料、艺术、语言文学、数学、社会工作、思想政治工作以及高等教育研究与管理等相关基础理论研究和应用研究方面的学术论文。

杂志详情