Formal Verification of Data-Path Circuits Based on Symbolic Simulation

• Autores: Y. Morihiro
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 85, Nº 6, 2002, págs. 965-974
• Idioma: inglés
• Texto completo no disponible (Saber más ...)