技術(shù)編號：6510826
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。提供一種。示例性實施例公開了一種用于基于用戶程序代碼產(chǎn)生斷言的方法。所述方法包括接收包括至少一個斷言指令的用戶程序、用戶程序的編譯結(jié)果以及處理器的架構(gòu)信息，并基于用戶程序的編譯結(jié)果和處理器的架構(gòu)信息產(chǎn)生規(guī)定處理器需要根據(jù)由所述至少一個斷言指令中的每個斷言指令指示的用戶程序的代碼執(zhí)行的操作的斷言。專利說明[0001]本申請要求于2012年9月7日提交的第61/698，050號美國臨時專利申請以及于2013年8月13日提交的第10-2013-0096109號韓...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學習研究技術(shù)思路。