Citation: C. Ajluni, VERIFICATION IS REVOLUTIONIZING THE IC DESIGN PROCESS (REPRINTED FROMELECTRONIC-DESIGN, NOVEMBER 3, 1997), Electronic design, 1998, pp. 7
Citation: As. Berger, CO-VERIFICATION HANDLES MORE COMPLEX EMBEDDED SYSTEMS (REPRINTED FROMELECTRONIC DESIGN, SEPTEMBER 15, 1997), Electronic design, 1998, pp. 9
Citation: S. Leef, HARDWARE AND SOFTWARE CO-VERIFICATION - KEY TO CO-DESIGN (REPRINTED FROM ELECTRONIC DESIGN, SEPTEMBER 15, 1997), Electronic design, 1998, pp. 18
Citation: Bp. Douglass, DESIGNING REAL-TIME SYSTEMS WITH THE UNIFIED MODELING LANGUAGE (REPRINTED FROM ELECTRONIC DESIGN, SEPTEMBER 15, 1997), Electronic design, 1998, pp. 25
Citation: T. Barrett, DANCING WITH DEVILS - OR FACING THE MUSIC ON SOFTWARE QUALITY (REPRINTED FROM ELECTRONIC DESIGN, JUNE 23, 1997), Electronic design, 1998, pp. 40-47