Invariant-Free Formal Verification of Pipelined and Superscalar Controls by Behavior-Covering and Partial Unfolding

• Autores: T. Shonai, Tohru Shimizu
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 82, Nº 2, 1999, págs. 376-388
• Idioma: inglés
• Texto completo no disponible (Saber más ...)