Word-level symbolic simulation in processor verification

• Autores: B. Alizadeh
• Localización: IEE Proceedings: Computers and digital techniques, ISSN 1350-2387, Vol. 151, Nº 5, 2004, págs. 356-366
• Idioma: inglés
• Texto completo no disponible (Saber más ...)