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

 
  • 本文研究工作是针对可满足问题(SAT)在组合电路验证和测试中的应用展开的。
今日热词
目录 附录 查词历史