無效執行指令判別

Q：請問當k檔設定多餘未執行指令時，有功能可以判斷這些無效指令嗎?

A：model check可以做初步的檢查。