Nano-meter CMOS circuit cell assignment based on pseudo-boolean satisfiability

被引：0
|
作者：
Wang, Xian-Jian [1 ]
Wang, Lun-Yao [1 ]
Chu, Zhu-Fei [1 ]
Xia, Yin-Shui [1 ]
机构：
[1] Faculty of Information Science and Engineering, Ningbo University, Ningbo 315211, China
来源：
Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology | 2012年 / 34卷 / 10期
关键词：
D O I：
10.3724/SP.J.1146.2012.00375
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2508 / 2513
相关论文
共 50 条
  • [1] Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability
    Mangassariani, Hratch
    Veneris, Andreas
    Safarpour, Sean
    Najm, Farid N.
    Abadir, Magdy S.
    2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 1538 - +
  • [2] Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability
    Mangassarian, Hratch
    Veneris, Andreas
    Najm, Farid N.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2012, 31 (02) : 271 - 284
  • [3] A Pseudo-Boolean Programming Approach for CMOL Cell Assignment
    Wang, Xianjian
    Wang, Lunyao
    Xia, Yinshui
    2011 INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND CONTROL (ICECC), 2011, : 1265 - 1268
  • [4] Inference methods for a pseudo-Boolean satisfiability solver
    Dixon, HE
    Ginsberg, ML
    EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 635 - 640
  • [5] The Improvement of Pseudo-Boolean Satisfiability Algorithm for FPGA Routing
    Tang, Yulan
    Chen, Jianhui
    MECHATRONICS AND INTELLIGENT MATERIALS II, PTS 1-6, 2012, 490-495 : 1511 - +
  • [6] A new pseudo-Boolean satisfiability based approach to power mode schedulability analysis
    Ray, Sayak
    Dasgupta, Pallab
    Chakrabarti, P. P.
    20TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: TECHNOLOGY CHALLENGES IN THE NANOELECTRONICS ERA, 2007, : 95 - +
  • [7] A Multilevel Pseudo-Boolean Satisfiability-Based Approach for Segmented Channel Routing
    Zhang, Dahua
    Li, Wei
    Du, Tao
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2015, 24 (06)
  • [8] Satisfiability-based algorithms for Pseudo-Boolean Optimization using Gomory cuts and search restarts
    Manquinho, VM
    Marques-Silva, J
    ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, : 150 - 155
  • [9] Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques
    Liu, Lengning
    Truszczynski, Miroslaw
    CONSTRAINTS, 2007, 12 (03) : 345 - 369
  • [10] Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques
    Lengning Liu
    Mirosław Truszczyński
    Constraints, 2007, 12 : 345 - 369
12345