Abstract
由於目前數位設計日趨複雜，因此在驗證的工作上成為在設計的流程中主要的挑戰，且驗證的工作以成為在整個設計流程中最花費時間的一項工作。前人的研究已經成功為邏輯閘層的設計錯誤產生有效的激勵。但是由於暫存器轉換層級設計錯誤遠比邏輯閘層的設計錯誤來的複雜所以之前的研究都不考慮暫存器轉換層級設計錯誤。這篇研究提出一種新的方式來有效的將常見了暫存器轉換層級的設計錯誤模型化。並且也提出一種新型的驗證格式(THVF)以有效的將其暫存器轉換層級的錯誤模型化。因此，我們可以有效的且自動的產生暫存器轉換層級的錯誤的激勵，而所對應到的暫存器轉換層級的錯誤就可以在驗證的過程中被偵測到。