Incisive Performance Scales to Meet Advanced Node SoC Verification Requirements
By Adam Sherer
on January 30, 2012
Its’ all about RTL simulation. I mean gates. I mean turn-around-time. Project-level productivity. Mixed-signal. Low-power. UVM. And. And. And. … And the reality is that advanced node SoCs are so complex that it is truly about all of these...
Read More »
Comments (0)
Filed under: Functional Verification, Low Power, Simulation acceleration, IES, Incisive Enterprise Simulator (IES), DVcon, IES-XL, Incisive, Mixed-Signal, Low-power, uvm, testbench, whitepaper, simulation, assertion-based verification, 20nm, Incisive Enterprise Simulator, gate level, gate-level, verification speed, Incisive performance, simulation speed
|
 |
Video Killed The Reference Manual Star
By Team Verify
on January 26, 2012
[Preface: recall the melody of the Buggles' 1979 hit " Video Killed the Radio Star " as you read the following] Q: What is your favorite pastime? A: Reading reference manuals! No? Really? OK -- with all due respect to our Tech Pubs team...
Read More »
Comments (4)
Filed under: Functional Verification, Formal Analysis, metric driven verification (MDV), PSL, SVA, ABV, MDV, IEV, formal, IFV, assertions, ABVIP, simulation, formal verification, assertion-based verification, videos, Assertion-Driven Simulation, YouTube, Axel Scherer
|
|
|
UVM: "Everything that Can be Invented Has Been Invented" Not True!
By Adam Sherer
on January 26, 2012
Much like Charles Duell's famous 1899 quote**, the notion that the Universal Verification Methodology ( UVM ) is the be-all and end-all of verification methodology is an urban legend. The new Advanced Verification Topics book dispells this myth with...
Read More »
Comments (0)
Filed under: Functional Verification, SystemVerilog, IES, multi-language, Incisive, MDV, Mixed Signal, Mixed-Signal, Low-power, VMM, uvm, Acellera VIP TSC, 20nm, UVM-MS, UVM e
|
|
|
Event Report: Club Formal UK – Cache Coherency, UVM for ABV, and Brainstorming with R&D
By Team Verify
on January 24, 2012
Right before the December holidays it was my privilege to host the first "Club Formal" here in the U.K. My colleagues and I welcomed over 20 power users from 8 different companies, providing an exciting diversity of ideas and applications. We...
Read More »
Comments (0)
Filed under: metric driven verification (MDV), ABV, MDV, uvm, assertions, ABVIP, assertion-based verification, Club Formal, coherency, Joerg Mueller, Bob Kurshan, UK, Vincent Reynolds
|
|
|
2012 CES: Top 3 Trends Impacting EDA This Year
By Joseph Hupcey III
on January 17, 2012
For years now consumer electronics have driven (nay, saved) the EDA industry. Hence, many events at last week's annual Consumer Electronics Show (CES) in Las Vegas can be extrapolated as leading indicators for the EDA business. While I couldn't...
Read More »
Comments (2)
Filed under: Formal Analysis, DAC, ARM, DVcon, formal, EDA360, Joe Hupcey III, 14nm, CES, apps, OLED, Intel, LG, OLED 3D, Consumer Electronics Show, TV, CES2012
|
|
|
Video: Bob Kurshan, Cadence Fellow and Incisive Formal R&D Leader, talks about Formal Engine Tech
By Team Verify
on January 5, 2012
Continuing the series of introducing you to the people that create the tools you use every day, in this video I ask Bob Kurshan, Cadence Fellow and R&D leader of the Incisive Formal Verifier ("IFV") "Engines Team," about the challenges...
Read More »
Comments (0)
Filed under: Formal Analysis, verification, ABV, IEV, formal, IFV, formal verification, assertion-based verification, video, cache coherency, Bob Kurshan, Kurshan
|
|
|
Free Formal and ABV Webinar Recordings from 2011 Online Now!
By Team Verify
on December 27, 2011
In case you missed any of the 5 free webinars Team Verify presented in 2011, you're in luck: all of them have been recorded and posted for you to review at your leisure. Take your pick from the following - or pop a bucket of popcorn and a family sized...
Read More »
Comments (0)
Filed under: Functional Verification, Formal Analysis, metric driven verification (MDV), coverage driven verification (CDV), Incisive, ABV, MDV, IEV, formal, IFV, NextOp, SoC Connectivity, formal verification, BugScope, assertion-based verification, ADS, Assertion-Driven Simulation, scoreboard
|
|
|
Some Final Real-World Assertions for the Holidays
By Tom Anderson
on December 20, 2011
My last "real-world assertions" blog post seems to have tickled a bunch of people with my story about the racy narration at the historic Red Fort in Delhi. I've heard from several folks who have also seen the show and had a similar reaction...
Read More »
Comments (0)
Filed under: Functional Verification, ABV, assertions, assertion-based verification, real-world assertions, holidays
|
|
|
Video: Incisive Formal Verifier R&D Leader Pradeep Goyal talks about Expert Formal Use Cases
By Team Verify
on December 19, 2011
Continuing the series that introduces you to the people that create the tools you use every day, in this video R&D lead for expert-level use cases in Incisive Formal Verifier (a/k/a "IFV") Pradeep Goyal talks about the common use cases for...
Read More »
Comments (0)
Filed under: Functional Verification, Formal Analysis, Model-checking, verification, Incisive, ABV, formal, IFV, assertions, formal verification, assertion-based verification, Joe Hupcey III, Pradeep Goyal
|
|
|
Early Holiday Present: Sudoku Solver Using Incisive Enterprise Verifier (IEV) and Assertion-Driven Simulation (ADS)
By Team Verify
on December 13, 2011
Allow me to interrupt the excellent "Meet R&D" series to share a small holiday present. On the Functional Verification Shared Code Forum I've just posted a ZIP file with Sudoku solver code for Incisive Enterprise Verifier (IEV) . The...
Read More »
Comments (0)
Filed under: PSL, ABV, SimVision, IEV, formal, formal verification, ADS, Assertion-Driven Simulation, Joerg Mueller, Sudoku
|
Community GuidelinesThe Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines. |