The research of this paper is based on the Boolean Satisfiability ( SAT ) Problem of combinational circuit.

  • 本文研究工作是针对可满足问题 ( SAT ) 在组合电路验证和测试中的应用展开的.

  • 互联网摘选 2025-01-18 12:01:18

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句