You are currently viewing SemiWiki as a guest which gives you limited access to the site. To view blog comments and experience other SemiWiki features you must be a registered member. Registration is fast, simple, and absolutely free so please, join our community today!

Already a member? Log In

March 27, 2019June 14, 2019

Managing Formal Complexity Even into AI

Managing Formal Complexity Even into AI
by Bernard Murphy on 03-27-2019 at 7:00 am
Categories: EDA, Synopsys
2 Comments

The Synopsys Formal group have a reputation for putting on comprehensive tutorials/workshops at DVCon and this year again they did not disappoint. The theme for the Thursday workshop was tackling complexity in control and datapath designs using formal. Ravindra Aneja, who I know from Atrenta days, kicked off the session with… Read More

Array
(
    [0] => tribe-events-list-widget-5
    [1] => search-2
    [2] => text-3
    [3] => text-6
    [4] => media_image-2
    [5] => media_image-3
    [6] => media_image-4
    [7] => media_image-8
    [8] => media_image-7
)

tribe-events-list-widget-5

Tribe__Events__List_Widget Instance: 5Array
(
    [title] => Upcoming Events
    [limit] => 5
    [no_upcoming_events] => 
    [featured_events_only] => 
    [jsonld_enable] => 1
    [rw_opt] => Array
        (
            [widget_select] => 1
            [cpt_page] => 1
            [others_author_archive] => 1
            [others_404_page] => 1
            [others_blog_page] => 1
        )

    [display_widget_mobile] => 1
)

Tribe__Events__List_Widget

Upcoming Events

Webinar: Marine Craft Dynamic Motion with...

July 18 @ 10:00 am - 11:00 am
CDNLive Japan 2019

July 19
PCB Forum 2019 Karlsruhe, Germany

July 23 @ 8:30 am - 4:00 pm
PCB Forum 2019 Nuremberg, Germany

July 24 @ 8:30 am - 4:00 pm
Webinar: SystemVerilog Strategies

July 24 @ 11:30 am - 12:30 pm

search-2

WP_Widget_Search Instance: 2Array
(
    [display_widget_title] => on
    [title] => Search Semiwiki
    [rw_opt] => Array
        (
            [widget_select] => 1
            [cpt_page] => 1
            [others_blog_page] => 1
            [others_author_archive] => 1
            [others_404_page] => 1
        )

    [display_widget_mobile] => 
)

text-3

WP_Widget_Text Instance: 3Array
(
    [title] => IP Wikis
    [text] => 
 	Item 1
 	Item 2
 	Item 3
 	Item 4

    [filter] => 1
    [visual] => 1
    [rw_opt] => Array
        (
            [widget_select] => 1
            [pageid_251623] => 1
        )

)

text-6

WP_Widget_Text Instance: 6Array
(
    [title] => SEMIWIKI WEBINAR SERIES
    [text] => 

GPU-Powered SPICE: The Way Forward for Analog Simulation

Eliminating Hybrid Verification Barriers Through Test Suite Synthesis

Fabless: The Transformation of the Semiconductor Industry






    [filter] => 1
    [visual] => 1
    [rw_opt] => Array
        (
            [widget_select] => 1
            [others_front_page] => 1
            [category_96] => 1
            [category_6435] => 1
            [category_95] => 1
            [category_157] => 1
            [category_50] => 1
            [category_13] => 1
            [category_90] => 1
            [category_89] => 1
            [category_3611] => 1
            [category_178] => 1
            [category_14418] => 1
            [category_51] => 1
            [category_97] => 1
            [cpt_page] => 1
            [others_blog_page] => 1
        )

    [display_widget_mobile] => 1
)

WP_Widget_Text

media_image-2

WP_Widget_Media_Image Instance: 2Array
(
    [display_widget_title] => on
    [attachment_id] => 259669
    [url] => https://semiwiki.com/wp-content/uploads/2019/06/Silvaco-Samsung-IP.jpg
    [title] => Home/Default Page Advertisement 1
    [size] => full
    [width] => 800
    [height] => 419
    [caption] => 
    [alt] => 
    [link_type] => custom
    [link_url] => https://www.silvaco.com/blogs/categories/sipware/launching-samsung_foundry_IP_what_you_need_to_know.html
    [image_classes] => 
    [link_classes] => 
    [link_rel] => 
    [link_target_blank] => 1
    [image_title] => 
    [rw_opt] => Array
        (
            [widget_select] => 1
            [others_blog_page] => 1
            [pageid_196276] => 1
            [category_96] => 1
            [category_13] => 1
            [category_95] => 1
            [category_12] => 1
            [category_7] => 1
            [category_50] => 1
            [category_90] => 1
            [category_89] => 1
            [category_94] => 1
            [category_97] => 1
            [category_22] => 1
            [category_6435] => 1
            [category_3611] => 1
        )

)

media_image-3

WP_Widget_Media_Image Instance: 3Array
(
    [display_widget_title] => on
    [attachment_id] => 259321
    [url] => https://semiwiki.com/wp-content/uploads/2019/05/Wally-Book-Cover-199x300.jpg
    [title] => Home/Default Page Advertisement 2
    [size] => custom
    [width] => 300
    [height] => 453
    [caption] => 
    [alt] => 
    [link_type] => custom
    [link_url] => https://www.semiwiki.com/forum/images/BookCovers/Wally_Memoir_Digital_0321.pdf
    [image_classes] => 
    [link_classes] => 
    [link_rel] => 
    [link_target_blank] => 1
    [image_title] => 
    [rw_opt] => Array
        (
            [widget_select] => 1
            [others_blog_page] => 1
            [pageid_196276] => 1
            [category_13] => 1
            [category_95] => 1
            [category_12] => 1
            [category_7] => 1
            [category_50] => 1
            [category_90] => 1
            [category_89] => 1
            [category_94] => 1
            [category_97] => 1
            [category_22] => 1
            [category_6435] => 1
            [category_3611] => 1
            [category_96] => 1
        )

)

media_image-4

WP_Widget_Media_Image Instance: 4Array
(
    [display_widget_title] => on
    [attachment_id] => 273387
    [url] => https://semiwiki.com/wp-content/uploads/2019/07/IPDelta-1.png
    [title] => Home/Default Page Advertisement 3
    [size] => custom
    [width] => 600
    [height] => 830
    [caption] => 
    [alt] => 
    [link_type] => custom
    [link_url] => https://www.fract-tech.com/uploads/Fractal-Whitepaper-IPdelta.pdf
    [image_classes] => 
    [link_classes] => 
    [link_rel] => 
    [link_target_blank] => 1
    [image_title] => Home/Default Page Advertisement 3
    [rw_opt] => Array
        (
            [widget_select] => 1
            [others_blog_page] => 1
            [pageid_196276] => 1
            [category_13] => 1
            [category_95] => 1
            [category_12] => 1
            [category_7] => 1
            [category_50] => 1
            [category_90] => 1
            [category_89] => 1
            [category_94] => 1
            [category_97] => 1
            [category_22] => 1
            [category_6435] => 1
            [category_3611] => 1
            [category_96] => 1
        )

)

media_image-8

WP_Widget_Media_Image Instance: 8Array
(
    [display_widget_title] => on
    [attachment_id] => 259774
    [url] => https://semiwiki.com/wp-content/uploads/2019/06/Delta-ASIC-Packaging-300x300.jpg
    [title] => Home/Default Page Advertisement 4
    [size] => medium
    [width] => 400
    [height] => 400
    [caption] => 
    [alt] => 
    [link_type] => custom
    [link_url] => https://asic.madebydelta.com/e-guide-asic-package/?utm_campaign=asic-packaging-ebook&utm_medium=Frontpage_banner&utm_source=SemiWiki
    [image_classes] => 
    [link_classes] => 
    [link_rel] => 
    [link_target_blank] => 
    [image_title] => 
    [rw_opt] => Array
        (
            [widget_select] => 1
            [category_6] => 1
        )

)

media_image-7

WP_Widget_Media_Image Instance: 7Array
(
    [display_widget_title] => on
    [attachment_id] => 273370
    [url] => https://semiwiki.com/wp-content/uploads/2019/07/Tom-Dillinger-Book.jpg
    [title] => Home/Default Page Advertisement 6
    [size] => full
    [width] => 380
    [height] => 499
    [caption] => 
    [alt] => 
    [link_type] => custom
    [link_url] => https://play.google.com/store/books/details/Thomas_Dillinger_VLSI_Design_Methodology_Developme?id=5aaeDwAAQBAJ
    [image_classes] => 
    [link_classes] => 
    [link_rel] => 
    [link_target_blank] => 1
    [image_title] => Home/Default Page Advertisement 6
    [rw_opt] => Array
        (
            [widget_select] => 1
            [others_blog_page] => 1
            [pageid_196276] => 1
            [category_13] => 1
            [category_95] => 1
            [category_12] => 1
            [category_7] => 1
            [category_50] => 1
            [category_90] => 1
            [category_89] => 1
            [category_94] => 1
            [category_97] => 1
            [category_22] => 1
            [category_6435] => 1
            [category_3611] => 1
        )

    [display_widget_mobile] => 
)

Array
(
    [0] => rpwe_widget-9
    [1] => gtranslate-3
    [2] => eipglp
)

rpwe_widget-9

gtranslate-3

GTranslateWidget Instance: 3Array
(
    [title] => Google Translate
    [rw_opt] => Array
        (
            [cpt_page] => 1
            [others_front_page] => 1
            [others_author_archive] => 1
            [others_404_page] => 1
            [widget_select] => 1
        )

)

eipglp

 Instance: