/* Change Footer year date dynamically */ Bachelor Thesis: Formal Verification of a digital IP block | Infineon