会议论文《浮点乘加部件的自动化形式验证》发表于第六届中国测试学术会议，主要探讨了浮点运算单元中乘加部件的形式化验证方法。文章提出了一种自动化验证框架，通过形式化方法确保乘加操作的正确性与可靠性，提升了处理器设计的可信度。研究结合了定理证明与模型检测技术，为复杂算术部件的验证提供了有效解决方案。
文档为pdf格式，0.43MB，总共6页。
举报
