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!
Overview
Are you ready to learn and share your ideas about the latest formal verification best practices? We are pleased to invite you to one of our in-person sessions to extend your verification expertise and learn about the latest advances in the field.
Hear from members of the Cadence Jasper expert team about the technology roadmap.… Read More
Overview
Are you ready to learn and share your ideas about the latest formal verification best practices? We are pleased to invite you to one of our in-person sessions to extend your verification expertise and learn about the latest advances in the field.
Hear from members of the Cadence Jasper expert team about the technology roadmap.… Read More
Overview
Are you ready to learn and share your ideas about the latest formal verification best practices? We are pleased to invite you to one of our in-person sessions to extend your verification expertise and learn about the latest advances in the field.
Hear from members of the Cadence Jasper expert team about the technology roadmap.… Read More
Simulation dominates hardware functional verification today and likely will continue to dominate for the foreseeable future. Meanwhile formal verification, once thought to be a possible challenger for the title, has instead converged on a more effective role as a complement to simulation. Formal excels at finding problems… Read More
With growing complexities and sizes of SoCs, verification has become a key challenge for design closure. There isn’t a single methodology that can provide complete verification closure for an SoC. Moreover creation of verification environment including hardware, software, testbench and testcases requires significant … Read More
It is the 50th year of IEDM, the International Electron Devices Meeting. The fact that it has been going for so long reveals why it has such an odd name: back in 1964 most “electron devices” were tubes (valves in UK lingo). This year they gave all of us a USB stick with all the papers from all 50 years of the event, something… Read More
The Jasper part of Cadence announced jointly with Sonics a relationship whereby Sonics uses JasperGold Apps as part of their verification. I talked to Drew Wingard, the CTO, about how they use it.
One way is during the day when their design engineers use Jasper as part of their verification arsenal. Interestingly it is the design… Read More
Cadence announced their 2Q results this afternoon. I listened to the conference call.
You can read all the details of the results in the press release but the big picture is:
- Revenue $379K, net income $23M GAAP or $64M non-GAAP (8, 21c per share, beat estimates by 1c). Equivalent quarter last year was $362M so less than 5% increase)
…
Read More
Jasper at DACby Paul McLellan on 05-20-2014 at 6:55 pmCategories: EDA
Wait, didn’t Cadence just acquire Jasper. Why is there a Jasper at DAC post?
So the big event is lunch on Tuesday, on Treasure Island. For out of towners that is the island in the middle of the bay bridge (actually just half of it). Food trucks, awesome views of the bay, and really cool street performers. There will be street magic,… Read More
Cadence announced today that it is acquiring Jasper Design Automation for $170M in an all-cash offer. Jasper has $24M in cash so it is really an acquisition for around $145M. i think that is around 4X revenue but I only know rumors about Jasper’s revenue numbers.
All the big 3 already have their own formal technology but the … Read More
