Symbolic Simulation Heuristics for High-Level Hardware Descriptions Including Uninterpreted Functions

• Autores: Kiyoharu Hamaguchi
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 87, Nº 3, 2004, págs. 637-641
• Idioma: inglés
• Texto completo no disponible (Saber más ...)