布尔可满足相关论文
可满足性问题是计算机理论与应用的核心问题.在FPGA上提出了一个基于不完全算法的并行求解器pprobSA T+.使用多线程的策略来减少相......
扩频通信技术是当前通信领域研究最为广泛深入的一种通信体制之一，由于其抗干扰性强，保密性好，功耗低等诸多优点，无论在军用还是商用上......
使用硬件方法求解SAT问题,采用现场可编程门阵列（FPGA）技术,针对大规模实际系统的CNF公式实例,定制化编译和转换为FPGA芯片,并完全依......
基于命题逻辑的布尔可满足SAT存在描述能力弱、抽象层次低、求解复杂度高等问题,而基于一阶逻辑的可满足性模理论SMT采用高层建模......
分析了数字电路等价性检验方法的基本原理，对组合电路等价性检验方法进行了综合研究，讨论了各种方法的特点，指出了各种方法的优缺点及......
集成电路设计的复杂程度和设计规模呈指数增长,验证技术已经成为整个集成电路设计领域的瓶颈,利用BDD技术的形式验证方法在面对小......
