会议论文《基于二元CSP的RTL数据通路可满足性求解方法》发表于第五届中国测试学术会议。该文提出一种利用二元约束满足问题（CSP）模型来解决RTL数据通路可满足性问题的方法，旨在提高电路验证的效率与准确性。通过将数据通路建模为CSP问题，结合高效的求解算法，实现了对复杂数字电路的快速分析与验证。
文档为pdf格式，0.27MB，总共4页。
举报
