高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2011年
2期
196-202
,共7页
处理器%硅后调试%确定性%跨时钟域传输%快照
處理器%硅後調試%確定性%跨時鐘域傳輸%快照
처리기%규후조시%학정성%과시종역전수%쾌조
针对处理器硅后调试芯片可观测性差的问题,提出了一个可将硅片错误在仿真器中重现的处理器硅后仿真调试系统.为使实际系统的行为确定化,提出了简单有效的确定性同步器(DSync).通过将不同时钟域的时间确定地关联在一起,该同步器可消除由于跨时钟域信号传输而导致的不确定性.根据处理器验证的实际需要,提出基本系统的概念.通过控制验证软件在基本系统范围内运行,无需记录系统输入就可实现仿真调试.实验结果表明,所提出的DSync和处理器仿真调试系统功能正确,实现简便,硬件开销小.
針對處理器硅後調試芯片可觀測性差的問題,提齣瞭一箇可將硅片錯誤在倣真器中重現的處理器硅後倣真調試繫統.為使實際繫統的行為確定化,提齣瞭簡單有效的確定性同步器(DSync).通過將不同時鐘域的時間確定地關聯在一起,該同步器可消除由于跨時鐘域信號傳輸而導緻的不確定性.根據處理器驗證的實際需要,提齣基本繫統的概唸.通過控製驗證軟件在基本繫統範圍內運行,無需記錄繫統輸入就可實現倣真調試.實驗結果錶明,所提齣的DSync和處理器倣真調試繫統功能正確,實現簡便,硬件開銷小.
침대처리기규후조시심편가관측성차적문제,제출료일개가장규편착오재방진기중중현적처리기규후방진조시계통.위사실제계통적행위학정화,제출료간단유효적학정성동보기(DSync).통과장불동시종역적시간학정지관련재일기,해동보기가소제유우과시종역신호전수이도치적불학정성.근거처리기험증적실제수요,제출기본계통적개념.통과공제험증연건재기본계통범위내운행,무수기록계통수입취가실현방진조시.실험결과표명,소제출적DSync화처리기방진조시계통공능정학,실현간편,경건개소소.