共 50 条
- [4] Drivers and barriers for secure hardware adoption across ecosystem stakeholders JOURNAL OF CYBERSECURITY, 2022, 8 (01):
- [5] Integration verification across software and hardware for a simple embedded system Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2021, : 604 - 619
- [6] Enabling a uniform programming model across the software/hardware boundary FCCM 2006: 14TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, 2006, : 89 - +
- [7] Integration Verification across Software and Hardware for a Simple Embedded System PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 604 - 619