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!
Date: Wednesday, September 21, 2022
Time: 9:00am – 10:00am PDT
Register for this CadenceTECHTALK if you are looking for an end-to-end solution for all your verification requirements in automotive, mobile, and hyperscale designs.
This CadenceTECHTALK introduces Xcelium Apps, a portfolio of domain-specific technologies… Read More
LIVE WEBINAR | 21 SEPTEMBER 2021 | TWO SESSIONS AVAILABLE
- Develop industry-specific applications using low-code
Low-code application development has been around for more than a decade. Its entry into the industrial space is rather new, and many questions remain about how it can be used to solve problems.
You will learn:
…
Read More
LIVE WEBINAR | 28 JULY 2021 | 10:00 AM EST
The digital enterprise is an important strategic goal on the radar of most industrial organizations today. Getting there requires connecting many teams, systems and processes. Low-code apps can be the first step in realizing the digital enterprise or a manageable step to fill existing
…
Read More
A Formal Feastby Bernard Murphy on 03-29-2017 at 7:00 amCategories: EDA, Synopsys
It’s not easy having to deliver one of the last tutorials on the last day of a conference. Synopsys drew that short straw for their tutorial on formal methodologies at DVCon this year. Despite that they delivered an impressive performance, keeping the attention of 60 attendees who said afterwards it was excellent on technical content,… Read More
When the topic of hardware emulation comes up, thoughts of big iron customarily come to mind. However, hardware emulation has evolved significantly and now there are other important traits that distinguish the offerings in this area. For a very long period of time emulators provided primarily a method to accelerate gate level… Read More
Formal verification is qualitatively different from most other verification. A simulation can pass or fail. But while formal verification can prove that the circuit is correct, or incorrect, it can also return “not proven” which means either that the algorithms realized that they were not powerful enough to prove… Read More
I had been wanting to write about it since Google’sbig bang announcement of Android1 in India in Sep this year and their associated strategy to capture some of the large pockets of Smartphone market within a matured or declining cell phone market and maturing overall market of Smartphone. Since I wrote my last article hereon maturation… Read More
Way back when SpringSoft was still SpringSoft and not Synopsys they launched Verdi Interoperability Apps (VIA) and an exchange for users to share them open-source style. I wrote about it back in 2011 when it was announced. Today, Synopsys announced the first developer forum for VIA. It will be held at SNUG on Wednesday, March 26,… Read More
Jasper Apps White Paperby Paul McLellan on 11-01-2012 at 7:30 pmCategories: EDA
Just in time for the Jasper User Group meeting, Jasper have a new white paper explaining the concept of JasperGold Apps.
First the User Group Meeting. It is in Cupertino at the Cypress Hotel November 12-13th. For more details and to register, go here. The meeting is free for qualified attendees (aka users). One thing I noticed at the… Read More
Jasper restructured JasperGold so that it could deliver its formal technology more flexibly by having a base system and a porfolio of apps. This would also make it easier to upgrade capabilities by creating new apps. Today, Jasper announced two new apps:
- JasperGold Structural Property Synthesis (SPS)
- JasperGold Behavioral
…
Read More