技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明公開了一種處理器中斷機(jī)制的驗(yàn)證方法及驗(yàn)證裝置，其中，方法包括以下步驟：隨機(jī)生成定向指令序列；根據(jù)指令序列配置DUT的打開中斷使能，并配置中斷處理入口；在中斷處理時(shí)，添加N條例外返回指令，以退出例外處理程序并且跳轉(zhuǎn)至被中斷取消的指令PC；在多條指令提交時(shí)，對(duì)DUT的寄存器的狀態(tài)進(jìn)行采樣；對(duì)DUT加入隨機(jī)中斷，以得到加入隨機(jī)中斷對(duì)指令流水序列的影響結(jié)果。本發(fā)明實(shí)施例的驗(yàn)證方法，通過對(duì)DUT隨機(jī)加入中斷驗(yàn)證中斷對(duì)DUT的影響，并且可以不受中斷的影響進(jìn)行數(shù)據(jù)對(duì)比，從而保證驗(yàn)證結(jié)果的準(zhǔn)確性，提高驗(yàn)證的可靠性，簡單便捷。

技術(shù)研發(fā)人員：張智;陳鎧
受保護(hù)的技術(shù)使用者：北京國睿中數(shù)科技股份有限公司
技術(shù)研發(fā)日：2015.12.29
技術(shù)公布日：2017.07.07