您要查找的是不是：
- Verilog约束逻辑编程Verilog constraint logic programming
- 本文采用约束逻辑编程(Constraint Logic Programming,CLP)技术进行性质检验。In this paper, we propose to do property checking using constraint logic programming (CLP).
- 逻辑logic
- 约束restrict
- 逻辑编程programming in logic
- 逻辑的logistic
- 约束条件constraint condition
- 逻辑电路logic circuit
- 我们有一个电脑编程师缺额。We have a vacancy for a computer programmer.
- 约束的fetlocked
- 逻辑关系logical relationship
- 约束性binding character
- 逻辑运算Boolean calculation
- 我们必须使他受合同约束。We must tie him down to the contract.
- 逻辑能力logical capability
- 约束机制tied mechanism
- 逻辑分析logical analysis
- 我们应约束他遵守诺言。We should pin him down to his promise.
- 逻辑驱动器logical drive
- λ约束λ binding
