A novel improvement technique for high-level test synthesis.

Saeed Safari, Hadi Esmaeilzadeh, Amir-Hossein Jahangir

Browse the full ISCAS paper archive.