Aug
25
2016

Dave Kelf, OneSpin & DVCon India countdown

We are glad to bring our next issue of this popular DVCon countdown series with Dave Kelf, VP of Marketing at OneSpin solutions.       Counting Down To DVCon India Below is a brief chat with Dave Kelf (DK),t hat our VerifNews (VN) team recently held: [VN] Can you share your experience with DVCon in general […]

Oct
24
2015

DVTalk Hyd Oct29, agenda

Riding on the success of initial few editions of VerifNews’ DVTalk event, we are glad to expand it to Hyderabad, Telangana, India this time. As usual with our start-up mode, finer details are still emerging. We have exciting topics and speakers lined up. Here is a draft agenda for your eyes only! Contact us via […]

Oct
10
2015

Mentor hosts a Formal Technology Seminar at Austin

Mentor Graphics, leading EDA company hosted a highly technical seminar entitled: “Formal Technology Seminar” at Austin on Oct 8th, 2015. Below is a quick trip report as captured by our VerifNews team. Agenda: Trends in Formal: What has Changed, What is Still Needed? — Harry Foster, Chief Verification Scientist How Mentor is Addressing Today’s Formal […]

Jun
08
2015

Synopsys buys Atrenta, builds on Verification Continuum

Around the industry’s most popular event, there is a BIG news for the VLSI/ASIC Design & Verification industry: Synopsys buys Atrenta:       As part of Synopsys’s new initiative to deliver a “Verification Continuum” (as reported by our VerifNews team at recent DVCon USA 2015, http://verifnews.org/2015/03/synopsys-sees-a-major-shift-left-approach-to-verification-at-dvcon-us-2015/) this is a very strong, bold and useful step for its […]

Jan
16
2015

Popular Jasper User Group proceedings are live, download them now!

The Club Formal – Jasper User Group (JUG) Conference held on Dec 18, 2014 at Aloft Hotel, brought together designers, verification engineers, and engineering managers for a full day of learning, sharing, and networking. The conference featured a variety of user-presented technical presentations. The conference proceedings are now available at http://www.cadence.com/cadence/events/Pages/JUG2014.aspx

Jan
10
2015

3 Notable Formal-Related Conference Papers of 2014 « Verification Horizons BLOG

2014 was an exciting year for formal verification to say the least, and below I call out a sampling of noteworthy conference papers that contributed to this energy. Specifically, they show how formal property checking itself is simultaneously scaling to tackle ever larger verification problems, and also being extended to cover domains that were once exclusively the […]

Nov
27
2014

Cadence India announces “The Club Formal” – Jasper User Group (JUG) Conference

What: “The Club Formal” – Jasper User Group (JUG) Conference When: Thursday, December 18, 2014 Where: Aloft Hotel, Cessna Business Park (Cisco Campus), Sarjapur-Marathahalli ORR, Bengaluru Register at: http://go.cadence.com/DBZ500D0IIh00H01mg0m0ij   The Club Formal – Jasper User Group (JUG) Conference brings together designers, verification engineers, and engineering managers for a full day of learning, sharing, and networking. Don’t […]

Nov
19
2014

ARM® Techcon Paper Report: How Microsoft Saved 4 Man-Months Meeting Their Coverage Closure Goals Using Automated Verification Management & Formal Apps

ARM® Techcon Paper Report: How Microsoft Saved 4 Man-Months Meeting Their Coverage Closure Goals Using Automated Verification Management & Formal Apps Posted by Joe Hupcey IIIFew verification tasks are more challenging than trying to achieve code coverage goals for a complex system that, by design, has numerous layers of configuration options and modes of operation.  […]

Nov
14
2014

JUG Keynote—How Jasper Formal Verification Technology Fits into the Cadence Flow

Jasper Design Automation had leading-edge formal verification technology before its acquisition by Cadence this summer. A picture of how this technology fits into the Cadence system verification flow emerged Nov. 10, 2014 at a keynote speech at the first Jasper User Group JUG conference held since the acquisition. via JUG Keynote—How Jasper Formal Verification Technology […]

Oct
04
2014

Catch up with the latest in Formal Verification, register for Jasper User Group Conference 2014, Santa Clara, California

From Cadence: Registration is now open for the Jasper User Group Conference 2014, taking place November 10-11 at the Hyatt Regency in Santa Clara, California. Don’t miss two days of user-presented technical presentations, roadmap discussions, demos, and keynotes, including: Remarks from: Oz Levia, VP R&D Charlie Huang, executive vice president, Worldwide Field Operations and System […]



© 2014 Verifnews All rights reserved.
Designed By SCSVMV University