1. Analog Devices ADT7420 Data Sheet Rev. A (2017). https://www.analog.com/en/products/adt7420.html
2. ARM Fast Models Version 11.17 User Guide (2022). https://developer.arm.com/documentation/100965/1117/
3. Barnasconi, M., Adhikari, S.: ESL design in SystemC AMS: introducing a top-down design methodology for mixed-signal systems. In: DAC, pp. 1–5 (2017)
4. Barnasconi, M., Grimm, C., Damm, M., Einwich, K., Louërat, M., Maehne, T., Pecheux, F., Vachoux, A.: SystemC AMS extensions user’s guide. Accellera Systems Initiative (2010)
5. Bombieri, N., Fummi, F., Guarnieri, V., Pravadelli, G., Stefanni, F., Ghasempouri, T., Lora, M., Auditore, G., Marcigaglia, M.N.: Reusing RTL assertion checkers for verification of systemC TLM models. J. Electron. Testing 31(2), 167–180 (2015)