王玉艳
- 作品数：2 被引量：0H指数：0
- 供职机构：中国电子科技集团公司第三十二研究所更多>>
- 发文基金：上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于覆盖率的微处理器运算单元验证技术
- 2012年
- 根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种"闭环"结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验结果表明,该方法在微处理器运算单元的验证中,能提高验证效率和覆盖率,增强验证平台的可重用性。
- 李智广章建雄王玉艳
- 关键词：SYSTEMVERILOG语言
- 基于约束求解的微处理器功能验证程序生成
- 2011年
- 针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度。
- 马竹青章建雄王玉艳
- 关键词：约束满足问题
