Giacomo Valente, Tania Di Mascio, Luigi Pomante, Vincenzo Stoico. An ESL Methodology for HW/SW Co-Design of Monitorable Embedded Systems: the "Design for Monitorability" Project - Work-in-Progress. In International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2020, Singapore, September 20-25, 2020. pages 40-42, IEEE, 2020. [doi]
Abstract is missing.