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. Microprocessors and Microsystems, 32(7):364-374, 2008. [doi]

Abstract

Abstract is missing.