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 […]

Jun
01
2015

Truechip announces CVIP for HDMI

May 27, 2015 – Truechip Solutions, the verification IP specialist, announced today that it has shipped early adopter version of its HDMI 2.0Comprehensive Verification IP (CVIP) to its partners in the early adoption program. This CVIP is natively developed in SystemVerilog (UVM) and is architected such that a single VIP is able to provide comprehensive, […]

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
14
2014

Aldec Delivers Efficient Verification with Requirements-based, User-defined Test Plan in Coverage – 2014-11-12 – Newsroom – Company – Aldec

Henderson, NV – November 12, 2014 – Aldec, Inc., announces the latest release of its mixed-language, advanced verification platform, Riviera-PRO™ 2014.10. This release of Riviera-PRO delivers speed and efficiency to the verification process by enhancing coverage metrics. Riviera-PRO has long supported UCIS-compatible coverage databases, and the latest release enables a new approach by linking requirements-based, user-defined test […]

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
07
2014

Atrenta announces its first User Conference 2014

Atrenta will be holding the 1st annual user conference on October 8, 2014 in Santa Clara, CA. Attendees will have the opportunity to gather with designers, engineers, and managers from around the world to share the latest in SpyGlass, GenSys and BugScope, usage and best practices. ATRENTA WORLD is an in-depth technical conference, presented by […]

Aug
28
2014

▶ Formal Will Dominate Verification — Heres Why, from Joe Hupcey III

Formal analysis provides exhaustive results for any problem its applied to, so wouldnt it be great if the many uncertainties around the completeness of verification could eventually be eliminated with this powerful technology? In this post I cite examples of customers who are taking big steps in this direction by using formal to completely replace […]

Aug
12
2014

Q&A: Kathryn Kranen Discusses Jasper, Formal Verification, and the Cadence Acquisition – Industry Insights – Cadence Community

Few individuals have been as visible and influential in the EDA industry as Kathryn Kranen, CEO of formal verification pioneer Jasper Design Automation until its acquisition by Cadence in June 2014. Kranen was also CEO of Verisity Design in the late 1990s, and she served as chairman of the EDA Consortium for two years until […]

Jun
12
2014

DVCon India 2014 – Call for Abstracts

The Design and Verification Conference & Exhibition India DVCon India is a new technical conference in India targeting the application of standardized languages, tools, and methodologies for the design and verification of electronic systems and integrated circuits. Hosted by Accellera Systems Initiative, the format of DVCon India is similar to the successful DVCon United States […]

May
30
2014

Mentor Graphics Questa® PropGen, the newest product within the Mentor® portfolio of formal based automated solutions

Questa® PropGen, the newest product within the Mentor® portfolio of formal based automated solutions via Mentor Graphics Extends the Capacity, Performance and Breadth of Questa’s Portfolio of Formal Based Automated Verification Solutions – Mentor Graphics.



© 2014 Verifnews All rights reserved.
Designed By SCSVMV University