共 50 条
- [32] Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors 38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 226 - 231
- [35] Formal verification of superscalar microprocessors with multicycle functional units, exceptions, and branch prediction 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 112 - 117
- [36] SECURELY WIRED LOGIC AGAINST MICROPROCESSORS ELEKTROTECHNISCHE ZEITSCHRIFT B-AUSGABE, 1976, 28 (15): : 500 - 502
- [37] LOGIC ANALYZERS RISE TO THE CHALLENGE OF MICROPROCESSORS COMPUTER DESIGN, 1983, 22 (04): : 155 - &
- [38] On the functional test of the BTB logic in pipelined and superscalar processors 2013 14TH IEEE LATIN-AMERICAN TEST WORKSHOP (LATW2013), 2013,
- [39] THEME ISSUE ON MINICOMPUTERS AND MICROPROCESSORS - FOREWORD ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 1982, 7 (04): : R1 - R1