Journals Articles Conferences News About CLP
Submit a paper Email Alert
Search
Search
Articles
Journals
News
Advanced Search
Top Searches
2D MaterialsTransformation opticsQuantum PhotonicsSmall lasersSemiconductor UV PhotonicsSupersymmetric microring laser arrays

Microelectronics, Volume. 53, Issue 1, 109(2023)

Research on Equivalence Checking of Combinational Circuits Based on Improved SAT Solver Algorithm

QU Zhan1, LI Kang1, LIU Hongjin2, ZHANG Shaolin2, LI Bin2, ZHOU You2, SHI Jiangyi1, and QI Zhongdong1
Author Affiliations
  • 1[in Chinese]
  • 2[in Chinese]
    • show less
    AbstractGet PDF(in Chinese)
    Figures&Tables (0)
    Equations (0)
    References (12)
    Tools
    Paper Information
    Topics
    Figures & Tables(0)
    Tools

    Get Citation

    Copy Citation Text

    QU Zhan, LI Kang, LIU Hongjin, ZHANG Shaolin, LI Bin, ZHOU You, SHI Jiangyi, QI Zhongdong. Research on Equivalence Checking of Combinational Circuits Based on Improved SAT Solver Algorithm[J]. Microelectronics, 2023, 53(1): 109

    Download Citation

    EndNote(RIS)BibTexPlain Text
    Set citation alerts for article
    Save article for my favorites
    Paper Information

    Category:

    Received: Dec. 19, 2021

    Accepted: --

    Published Online: Dec. 15, 2023

    The Author Email:

    DOI:10.13911/j.cnki.1004-3365.210493

    Topics

    laser devices and laser physics
    Lasers and Laser Optics
    Laser physics
    laser manufacturing
    Instrumentation, Measurement and Metrology