共 50 条
- [31] Hardware/software interface for multi-dimensional processor arrays [J]. 16TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURE AND PROCESSORS, PROCEEDINGS, 2005, : 28 - 35
- [32] Proof Assistants at the Hardware-Software Interface (Invited Talk) [J]. CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 2 - 2
- [35] Interface based hardware/software validation of a system-on-chip [J]. IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2000, : 53 - 58
- [36] Software tool for validating and verifying re-hosted legacy software and interface hardware [J]. 2006 IEEE AUTOTESTCON, VOLS 1 AND 2, 2006, : 343 - 348
- [37] Interface-centric abstraction level for rapid hardware/software integration [J]. APPLICATIONS OF SPECIFICATION AND DESIGN LANGUAGES FOR SOCS, 2006, : 83 - 99
- [38] Software and Hardware Implementation of a Graphical User Interface for Solar Power Plants [J]. 2019 IEEE 1ST GLOBAL POWER, ENERGY AND COMMUNICATION CONFERENCE (GPECOM2019), 2019, : 312 - 315
- [39] Hardware and Software Design between Microcontroller and Computer based on USB Interface [J]. 2014 Fifth International Conference on Intelligent Systems Design and Engineering Applications (ISDEA), 2014, : 520 - 523