约束逻辑编程相关硕士博士期刊学术论文 - 搜论网

约束逻辑编程相关论文

约束逻辑编程中宽数据算术运算算法

提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法.该方法解决了现有CLP求解器所能处理的最大整......

期刊

约束逻辑编程 GNU PROLOG 宽数据运算分解 Constraint logic programming(CLP)GNU PrologWide dataD

VLSI RTL级模拟矢量自动生成技术研究

功能验证是保证VLSI设计功能正确的重要手段。随着现代VLSI设计复杂度的不断提高，功能验证越来越成为设计验证的瓶颈。目前，功能验证......

学位

超大规模集成电路寄存器传输级 Verilog 模拟矢量自动生成程序切片覆盖率分析路径覆盖率断言约束逻辑编程并行Verilog模拟

看过本文同时还关注