{"id":2944,"date":"2020-04-14T17:43:59","date_gmt":"2020-04-14T21:43:59","guid":{"rendered":"https:\/\/blogs.sw.siemens.com\/news\/?p=2944"},"modified":"2020-04-21T15:13:30","modified_gmt":"2020-04-21T19:13:30","slug":"deadlock-verification-for-dummies-the-easy-way-using-sva-and-formal","status":"publish","type":"post","link":"https:\/\/blogs.stage.sw.siemens.com\/news\/deadlock-verification-for-dummies-the-easy-way-using-sva-and-formal\/","title":{"rendered":"Deadlock Verification for Dummies \u2013 The Easy Way Using SVA and Formal"},"content":{"rendered":"\n<p>Living and working under stay at home orders, we might feel like a koala stuck in a tree. Or a design going into deadlock. But help is on the way! In <a href=\"https:\/\/go.mentor.com\/5aXQK\" target=\"_blank\" rel=\"noopener\"><strong>Deadlock Verification for Dummies<\/strong><\/a> you\u2019ll learn about an automated, formal-based solution that allows you to extend the traditional SVA syntax so you can easily detect deadlock scenarios, uncover hidden escape routes, and let the koalas run free!<\/p>\n\n\n\n<div class=\"wp-block-image is-style-default\"><figure class=\"alignleft size-medium\"><img loading=\"lazy\" decoding=\"async\" width=\"600\" height=\"450\" src=\"https:\/\/blogs.sw.siemens.com\/news\/wp-content\/uploads\/sites\/17\/2020\/04\/koala-on-the-move-600x450.jpg\" alt=\"\" class=\"wp-image-2945\" srcset=\"https:\/\/blogs.stage.sw.siemens.com\/wp-content\/uploads\/sites\/17\/2020\/04\/koala-on-the-move-600x450.jpg 600w, https:\/\/blogs.stage.sw.siemens.com\/wp-content\/uploads\/sites\/17\/2020\/04\/koala-on-the-move-768x576.jpg 768w, https:\/\/blogs.stage.sw.siemens.com\/wp-content\/uploads\/sites\/17\/2020\/04\/koala-on-the-move.jpg 1024w\" sizes=\"auto, (max-width: 600px) 100vw, 600px\" \/><\/figure><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Living and working under stay at home orders, we might feel like a koala stuck in a tree. Or a&#8230;<\/p>\n","protected":false},"author":69878,"featured_media":2945,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"spanish_translation":"","french_translation":"","german_translation":"","italian_translation":"","polish_translation":"","japanese_translation":"","chinese_translation":"","footnotes":""},"categories":[103],"tags":[134,126],"industry":[],"product":[180,272],"coauthors":[],"class_list":["post-2944","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-learning-resources","tag-covid19responseresources","tag-mentor","product-formalpro","product-questa"],"featured_image_url":"https:\/\/blogs.stage.sw.siemens.com\/wp-content\/uploads\/sites\/17\/2020\/04\/koala-on-the-move.jpg","_links":{"self":[{"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/posts\/2944","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/users\/69878"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/comments?post=2944"}],"version-history":[{"count":5,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/posts\/2944\/revisions"}],"predecessor-version":[{"id":3049,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/posts\/2944\/revisions\/3049"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/media\/2945"}],"wp:attachment":[{"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/media?parent=2944"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/categories?post=2944"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/tags?post=2944"},{"taxonomy":"industry","embeddable":true,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/industry?post=2944"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/product?post=2944"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blogs.stage.sw.siemens.com\/news\/wp-json\/wp\/v2\/coauthors?post=2944"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}