One of the sessions I enjoyed at the Synopsys Verification Day 2021 was a presentation on applying formal to a...
bernard murphy
Auto Added by WPeMatico
Learning-Based Power Modeling. Innovation in Verification Is it possible to automatically generate abstract power models for complex IP which can...
There is a classical approach to EDA marketing, and semiconductor marketing at times, which aims exclusively at technical customers and...
I doubt there is anyone who hasn’t felt the impact of supply chain problems, from late ecommerce deliveries (weeks) to...
Now and again, I enjoy circling back to a topic on which I spent a good deal of time back...
Harry Foster waxes philosophical in a recent white paper from Siemens EDA, in this case on the origins of bugs...
Multicore systems working with shared memory must support a well-defined model for consistency of thread accesses to that memory. There...
This is another level-up story, a direction I am finding increasingly appealing. This is when a critical supplier in the...
We used to be comfortable with the idea that the worlds of logical design and physical implementation could be largely...
Verification is a complex task that takes the majority of time and effort in chip design. At Veriest, as an...
