共 50 条
- [21] On the Hardware-Software Integration in Cryptographic Accelerators for Industrial IoT APPLIED SCIENCES-BASEL, 2022, 12 (19):
- [22] The challenge of hardware-software co-verification VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 438 - 447
- [23] HARDWARE-SOFTWARE COSYNTHESIS FOR DIGITAL-SYSTEMS IEEE DESIGN & TEST OF COMPUTERS, 1993, 10 (03): : 29 - 41
- [24] Hardware-software coverification of distributed embedded systems INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS, 1999, : 2995 - 3001
- [27] Reliability analysis of complex hardware-software systems ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1999 PROCEEDINGS, 1999, : 178 - 182
- [29] SPECIFICATION AND DESIGN OF EMBEDDED HARDWARE-SOFTWARE SYSTEMS IEEE DESIGN & TEST OF COMPUTERS, 1995, 12 (01): : 53 - 67
- [30] Java as a specification language for hardware-software systems IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, 1997, : 690 - 697