The ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level model.
Maziar GoudarziShaahin HessabiNaser MohammadZadehNasim ZainolabediniPublished in: Microprocess. Microsystems (2008)