Stian Gerlach Sørensen, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz. Generation of Formal CPU Profiles for Embedded Systems. In 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, VLSI-SoC 2022, Patras, Greece, October 3-5, 2022. pages 1-6, IEEE, 2022. [doi]
Abstract is missing.