Endri Kaja, Nicolas Gerlin, Robert Kunzelmann, Keerthikumara Devarajegowda, Wolfgang Ecker. Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation. In 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC 2023, Singapore, December 18-21, 2023. pages 508-515, IEEE, 2023. [doi]
Abstract is missing.