搜索筛选:
搜索耗时0.0417秒,为你在为你在61,042,059篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：谭坚,罗巧玲,王丽一,胡夏晖,范昊,徐占,
来源：计算机研究与发展 年份：2020
处理器研制过程中需要对指令算术数据路径进行覆盖验证.针对现有模拟验证方法存在的不足,提出了一种基于可满足模理论(satisfiability modulo theory,SMT)的指令约束求解方法...
相关搜索：
