文章基本信息

标题：SMTBDD: New Concept of Graph for Function Decomposition
本地全文：下载
作者：Marcin Kubica ; Dariusz Kania
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2015
卷号：48
期号：4
页码：49-54
DOI：10.1016/j.ifacol.2015.07.006
语种：English
出版社：Elsevier
摘要：AbstractThe main purpose of the paper is to suggest a new form of BDD - SMTBDD diagram, methods of obtaining, and its basic features. The idea of using SMTBDD diagram in the process of logic synthesis dedicated to FPGA structures is presented. The creation of SMTBDD diagrams is the result of cutting BDD diagram which is the effect of multiple decomposition. The essence of a proposed decomposition method rests on the way of determining the number of necessary ‘g’ bounded functions on the basis of the content of a root table connected with an appropriate SMTBDD diagram. The idea of decomposition is presented in the form of a simple example. The paper also discusses the results of the experiments which confirm the efficiency of the analyzed decomposition methods.
关键词：KeywordsLogic synthesisSMTBDDDecompositionFPGADigital circuits