Formal Verification of Firmware-Based System-on-Chip Modules
Dissertation M.Sc. Carlos Villarraga Fachbereich Elektrotechnik und Informationstechnik der Technischen Universität Kaiserslautern December 7, 2016 Abstract In current practices of system-on-chip (SoC) design a trend can be observed to integrate more and more low-level...