共 97 条
- [1] Genesys-pro: Innovations in test program generation for functional processor verification [J]. IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (02): : 84 - 93
- [2] Automated Firmware Testing using Firmware-Hardware Interaction Patterns [J]. 2014 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2014,
- [3] Alimi V, 2014, 2014 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), P551, DOI 10.1109/HPCSim.2014.6903734
- [4] [Anonymous], 2012, 1666 IEEE
- [5] [Anonymous], 2011, P FOR SPEC DES LANG
- [6] [Anonymous], 2009, P FOR SPEC DES LANG
- [8] Binkert Nathan, 2011, Computer Architecture News, V39, P1, DOI 10.1145/2024716.2024718
- [10] Bohm I., 2010, Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS 2010), P1, DOI 10.1109/ICSAMOS.2010.5642102