Alizadeh, B., Navabi, Z. (2003). A New High Level Model to Check CTL Properties in VHDL Environment. *Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran*, 1(2), 92-98.