An Efficient Interpolation-Based Projected Sum of Product Decomposition via Genetic Algorithm

被引:0
|
作者
Chen, Tai-Lin [1 ]
Wang, Chun-Yao [1 ]
Huang, Ching-Yi [1 ]
Chen, Yung-Chih [2 ]
机构
[1] Natl Tsing Hua Univ, Dept Comp Sci, Hsinchu 300, Taiwan
[2] Yuan Ze Univ, Dept Comp Sci & Engn, Chungli 320, Taiwan
关键词
Logic synthesis; interpolation; optimization; EX-OR network; generic algorithm; functional decomposition; MULTIPLE-VALUED MINIMIZATION; LOGIC MINIMIZATION; BOOLEAN FUNCTIONS;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Projected Sum of Products (P-SOP) is a bounded multi-level representation. The synthesis of P-SOP representation is based on decomposing the input space with respect to the orthogonal basis x(i)'circle plus p(X-(i)) and x(i)circle plus p(X-(i)) where x(i) is an input variable and p(X-(i)) is a function of all variables except x(i). Different p(X-(i)) may result in different areas after synthesis. Therefore, to obtain a minimal P-SOP circuit, it is important to select an appropriate variable xi and function p((X(i))). In this paper, we propose a Genetic Algorithm to efficiently determine x(i) and p(X-(i)). Experimental results show that the proposed approach saves 81% CPU time in searching such a pair as compared to an exhaustive method without sacrificing the optimality.
引用
收藏
页码:1 / 19
页数:19
相关论文
共 50 条
  • [2] An Efficient Interpolation-Based Chase BCH Decoder
    Zhang, Xinmiao
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2013, 60 (04) : 212 - 216
  • [3] Interpolation-based QR decomposition in MIMO-OFDM systems
    Cescato, D
    Borgmann, M
    Bölcskei, H
    Hansen, J
    Burg, A
    2005 IEEE 6TH WORKSHOP ON SIGNAL PROCESSING ADVANCES IN WIRELESS COMMUNICATIONS, 2005, : 945 - 949
  • [4] Efficient Interpolation-Based Decoding of Interleaved Subspace and Gabidulin Codes
    Bartz, Hannes
    Wachter-Zeh, Antonia
    2014 52ND ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2014, : 1349 - 1356
  • [5] Efficient abstraction refinement in interpolation-based unbounded model checking
    Li, Bing
    Somenzi, Fabio
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 227 - 241
  • [6] Application of interpolation-based improved EKF algorithm in integrated navigation
    School of Electrical and Information Engineering, Jiangsu University, Zhenjiang 212013, China
    Yi Qi Yi Biao Xue Bao, 2007, 10 (1897-1901):
  • [7] Interpolation-Based Model Checking for Efficient Incremental Analysis of Software
    Fedyukovich, Grigory
    Hyvaerinen, Antti E. J.
    Sharygina, Natasha
    PROCEEDINGS OF THE 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2013, : 8 - +
  • [8] WHALE: An Interpolation-Based Algorithm for Inter-procedural Verification
    Albarghouthi, Aws
    Gurfinkel, Arie
    Chechik, Marsha
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 39 - +
  • [9] Tangential interpolation-based eigensystem realization algorithm for MIMO systems
    Kramer, B.
    Gugercin, S.
    MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2016, 22 (04) : 282 - 306
  • [10] FAST COMPUTATION OF SEPλ VIA INTERPOLATION-BASED GLOBALITY CERTIFICATES
    Mitchell, Tim
    ELECTRONIC TRANSACTIONS ON NUMERICAL ANALYSIS, 2023, 58 : 402 - 431