Hasson Soha, Sasao Tsutomu, Brayton R.K.. Logic Synthesis and Verification. Boston: Kluwer Academic Publishers,2002

• 韩俊刚；杜慧敏.；数字硬件的形式化验证