Papers matching “hardware-software integration” 3
Not finding it? Sign in to also search OpenAlex live.
-
Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions2022 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Embedded Systems Design Techniques Open access
Marius Herget, Faezeh Sadat Saadatmand, Martin C. Bor, Ignacio González Alonso, Todor P. Stefanov, Benny Åkesson, +1 more
13citations -
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations
3 results