共 50 条
- [41] Design verification of complex microprocessors APCCAS '96 - IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS '96, 1996, : 441 - 448
- [42] A TLM design for verification methodology PRIME 2006: 2ND CONFERENCE ON PH.D. RESEARCH IN MICROELECTRONIC AND ELECTRONICS, PROCEEDINGS, 2006, : 337 - +
- [43] Timing verification for asynchronous design EURO-DAC '96 - EUROPEAN DESIGN AUTOMATION CONFERENCE WITH EURO-VHDL '96 AND EXHIBITION, PROCEEDINGS, 1996, : 78 - 83
- [44] Verification of design decisions in ForSyDe CODES(PLUS)ISSS 2003: FIRST IEEE/ACM/IFIP INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN & SYSTEM SYNTHESIS, 2003, : 176 - 181
- [45] DEV: Design Explorer for Verification PROCEEDINGS OF THE 2009 12TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC 2009), 2009, : 582 - 585
- [46] Proba: Structural design and verification EUROPEAN CONFERENCE ON SPACECRAFT STRUCTURES, MATERIALS AND MECHANICAL TESTING, PROCEEDINGS, 1999, 428 : 25 - 27
- [48] Design verification of FPGA implementations IEEE DESIGN & TEST OF COMPUTERS, 1999, 16 (02): : 66 - 73