您要查找的是不是:
- The research of this paper is based on the Boolean Satisfiability (SAT) Problem of combinational circuit. 本文研究工作是针对可满足问题(SAT)在组合电路验证和测试中的应用展开的。
- In recent years, the Boolean Satisfiability (SAT) Problem, which is a foundational problem of verification, has made a great advance. 本文分析了现有的电路可满足性验证工具的优缺点,针对验证中学习效率的瓶颈提出了改进的方法,能够更加合理地利用电路现有的信息。
- Multiple Design Error Diagnosis Using Boolean Satisfiability 基于布尔可满足性的电路设计错误诊断算法
- Using Boolean Satisfiability for Combinational Equivalence Checking 使用布尔可满足性的组合电路等价性验证算法
- A New Strategy in Systematic Algorithm for Non- Boolean Satisfiability Problems 非布尔问题系统求解算法的一种新思路
- Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking 结合二叉判决图和布尔可满足性的等价性验证算法
- A gate that performs the Boolean operation of implication. 执行“蕴含”布尔操作的一种(逻辑)门电路。
- Boolean satisfiability 布尔可满足性
- Boolean satisfiability (SAT) Boolean可满足性问题(SAT)
- The conditional must produce a boolean result. 条件必须产生一个布尔结果。
- Keywords Simulation;Formal Verification;Equivalence Checking;Binary Decision Diagrams;Boolean Satisfiability;Cut;Latch Mapping;Assume-And-Then-Verify;Symbolic Backward Justification; 模拟验证;形式验证;等价性验证;二叉决策图;可满足性;割集;锁存器匹配;先假设后验证;符号回溯验证;
- A Boolean ring is absolutely flat. 布尔环是绝对平坦的。
- You can apply AND,OR,or NOT to boolean values only. 只可将AND,OR或NOT应用于布尔值。
- In Boolean, this will almost always return nothing. 在布尔逻辑中,基本上不可能有返回结果。
- Users don’t understand Boolean logic. 用户不理解布尔逻辑。
- Gets a Boolean indicating if NUM LOCK is turned on. 获取一个指示是否打开了Num Lock的Boolean。
- Cannot be used as a Boolean surrogate. 不能用作布尔型代理项。
- Strings are arguments of boolean function. 中,函数boolean的参数是字符串。
- The Boolean data type is an exception. 但布尔数据类型是个例外。
- Boolean if this list contains no elements. 如果列表不含元素,返回。