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 The ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level model. 364-374 2008 32 Microprocessors and Microsystems - Embedded Hardware Design 7 http://dx.doi.org/10.1016/j.micpro.2008.04.001 db/journals/mam/mam32.html#GoudarziHMZ08