Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level

von Bragaglio, Moreno
Veröffentlicht in IFIP/IEEE International Conference on Very Large Scale Integration (29. : 2021 : Online) VLSI-SoC: Technology advancement on SoC design (2022)

From Informal Specifications to an ABV Framework for Industrial Firmware Verification

von Germiniani, Samuele
Veröffentlicht in IFIP/IEEE International Conference on Very Large Scale Integration (28. : 2020 : Online) VLSI-SoC: design trends (2021)