Formale Verifikation in München

With DATE next week in Dresden, all eyes turn to Germany. Not to be left out, Jasper has a seminar on formal verification coming up on March 19th in the Kempinski Hotel at Munich airport. Unlike most “airport” hotels the Kempinski is indeed right in the heart of the airport. And for those of us who like a good German beer, the airport also contains a micro-brewery Airbräu where they brew their own beer in the airport, which I believe is unique.

Breakfast and lunch are provided, although I very much doubt that they serve the traditional Bavarian breakfast of beer and weisswurst. What they do serve, though, is lots of useful information about formal verification:

• Formal verification of RTL blocks
• Debug and design exploration
• Post – silicon debug and root cause analysis
• Verification of ARM-protocol based SoCs (AXI, AMBA, AHB, ACE)
• Verification of SoCs with complex memory sub-systems (DDRxx)
• SoC and IP connectivity
• Control status registers
• Closure and coverage
• Clock domain crossing
• X-propagation
• Verification of designs including power-management structures