Cited By
View all- Goudarzi MHessabi SMohammadZadeh NZainolabedini N(2008)The ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level modelMicroprocessors & Microsystems10.1016/j.micpro.2008.04.00132:7(364-374)Online publication date: 1-Oct-2008