共 50 条
- [32] Error Diagnosis in Equivalence Checking of High Performance Microprocessors Electron. Notes Theor. Comput. Sci., 2007, 4 (9-18):
- [33] On-Line Instruction-checking in Pipelined Microprocessors PROCEEDINGS OF THE 17TH ASIAN TEST SYMPOSIUM, 2008, : 377 - +
- [34] Survey of control flow checking using software Harbin Gongye Daxue Xuebao, 2008, 3 (407-412+482):
- [37] A model checking technique for the verification of fuzzy control systems INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 536 - +
- [38] Reliable microprocessors for FPGAs: State of the Art and Trends 2010 INTERNATIONAL CONFERENCE ON APPLIED ELECTRONICS, 2010, : 225 - 230
- [39] Type Checking for Reliable APIs 2017 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON API USAGE AND EVOLUTION (WAPI), 2017, : 15 - 18
- [40] Using fan speed control method for microprocessors dynamic thermal management WSEAS Trans. Circuits Syst., 2006, 1 (142-147):