您要查找的是不是：
- 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
