Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors

• Autores: Randal E. Bryant, Miroslav N. Velev
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 35, Nº 2, 2003, págs. 73-106
• Idioma: inglés
• Texto completo no disponible (Saber más ...)