The ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level model. - Maziar Goudarzi; Shaahin Hessabi; Naser MohammadZadeh; Nasim Zainolabedini (Microprocess. Microsystems, 2008)