800x100 static WP 3
WP_Term Object
(
    [term_id] => 157
    [name] => EDA
    [slug] => eda
    [term_group] => 0
    [term_taxonomy_id] => 157
    [taxonomy] => category
    [description] => Electronic Design Automation
    [parent] => 0
    [count] => 3887
    [filter] => raw
    [cat_ID] => 157
    [category_count] => 3887
    [category_description] => Electronic Design Automation
    [cat_name] => EDA
    [category_nicename] => eda
    [category_parent] => 0
)

Formale Verifikation in München

Formale Verifikation in München
by Paul McLellan on 03-08-2012 at 9:00 am

 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

Share this post via:

Comments

There are no comments yet.

You must register or log in to view/post comments.