Cadence Community

Munich October 18—Come See SystemC Evolution Day!

By XTeam | 17 Oct 2017

Sorry, you missed Oktoberfest (which is mostly in September anyway). But come to Munich in October for SystemC Evolution Day—a workshop on the evolution of SystemC standards held in Munich, Germany on October 18th. It’s a full day workshop, and the second iteration of a successful first run in May 2016. SystemC Evolution Day will feature several in-depth sessions about current and future standardization topics...

0 Comments

TAGS:

Munich | Functional Verification | Accellera | SystemC | event
Teradyne Standardizes on Xcelium Simulator

By XTeam | 13 Oct 2017

Today, Cadence announced that Teradyne has adopted the Xcelium™ Parallel Simulator for use in ASIC development. They’ve reached a 2x speedup with Xcelium when compared to their old simulation solution. Xcelium has quickly become a key part of Teradyne’s verification environment, providing an easy-to-use, yet very powerful, tool that runs fast and ensures high-quality designs. Beyond Xcelium, Teradyne...

0 Comments

TAGS:

Teradyne | ASIC | press release | xcelium | JasperGold | vManager
Teradyne "Formally" Adopts JasperGold FPV

By XTeam | 13 Oct 2017

CDNLive Boston 2017: Teradyne reveals their success with JasperGold in their presentation, Success using Formal Verification --and now they join the ever-growing fold of JasperGold FPV (Formal Property Verifier) App users. Teradyne had used some of JasperGold's functionality before with the JasperGold Connectivity App, but this marked a noted change in their usage of it by embracing more of the features the JasperGold...

0 Comments

TAGS:

Teradyne | FPV | CDNLive | customer success | JasperGold | Formal verification
Single Core vs. Multi Core: Simulation in Stereo

By XTeam | 26 Sep 2017

Latency simulations are the sworn enemy of the verification schedule. A handful of tests add days to weeks for each regression cycle; and when you add in the fact that they can’t be parallelized like the shorter bandwidth simulations, it gets hard to manage an engineer’s time efficiently. But… What if there was a better way? Since the olden days of simulation, all of that was true. Bandwidth sims...

0 Comments

TAGS:

Single-Core | Functional Verification | Multi-Core | xcelium | simulation
Put On Your Perspectacles: How Perspec Can Speed Up Your Testbench

By XTeam | 23 Aug 2017

It’s no secret that the bulk of time running simulations is spent on the testbench side. You can throw as many cores as you want at the DUT when you’re running RTL tests, but let's face it, it’s the testbench itself that’s bottlenecking you. Let’s say it takes thirty minutes to run the testbench side, and thirty minutes to run the tests themselves. You can use multi-core parallelism to...

0 Comments

TAGS:

Functional Verification | Perspec | xcelium | testbench
Save & Restore with More: Preserve Your Entire SoC

By XTeam | 10 Aug 2017

The concept of Save and Restore is simple: instead of re-initializing your simulation every time you want to run a test, only initialize it once. Then you can save the simulation as a “snapshot” and re-run it from that point to avoid hours of initialization times. It used to be inconvenient. Using this feature in simulators could have massive productivity gains, but not all users made the most of it due to...

1 Comments

TAGS:

Functional Verification | x-team | update | xcelium simulator | feature | productivity | xcelium | save and restore
Infineon’s Coverage-Driven Distribution: Shortcutting the MDV Loop

By XTeam | 8 Aug 2017

There are more ways to improve productivity in the verification process than simply making the simulation run faster. One of these is to cut down on the amount of time engineers spend working hands-on with the testbench itself, preparing it and coding Specman/ e tests for it. It is common knowledge that the engineer’s task is to stock the testbench with these tests and rerun regressions to measure their effect as...

0 Comments

TAGS:

Specman | CDD | CDNLive | Infineon | Functional Verification | e language | efficiency | MDV
X-Propagation: Xcelium Simulator’s X-prop Technology Ensures Deterministic Reset

By XTeam | 28 Jul 2017

All chips need to cold reset on every power-up. Warm resets, however, are a bit more complicated. Take a smartphone screen, for example. The screen may power down while the phone is idle. However, the user will want it to return to their pre-set brightness level on power-up. Chips have to be tested for multiple warm-reset scenarios, and each of these tests take a very long time. Enter Xcelium Simulator, and X-propagation...

0 Comments

TAGS:

SystemVerilog | Functional Verification | xcelium | Reset | simulation
Moving to Xcelium Simulation? I’m Glad You Asked

By Sumeet Aggarwal | 27 Jul 2017

Ready to take the next step in simulation technology with a true third-generation engine, with multi-core technology? Cadence® Xcelium™ Simulator allows you to have unprecedented control over your tests including to further tailor test sequencing to your specific hardware needs. Get started immediately with the new release Xcelium 17.04 by using the central page on https://support.cadence.com to learn...

0 Comments

TAGS:

performance | Self-Help | uvm | simvision | RAK | Multi-Core | Appnote | troubleshooting | simulation | Cadence support
ROHM CO., Ltd Adopts Our Functional Safety Verification Solution

By XTeam | 26 Jul 2017

On July 17, 2017, Cadence announced that the Cadence® Functional Safety Verification Solution had been adopted by ROHM CO., Ltd as part of its deisgn flow for ISO 26262-compliant ICs and LSIs for the automotive market. Cadence fault simulation tech can quickly and easily deal with the complexities around many types of faults, including single event transient (SET), stuck-at-0 or 1, dual-point faults, and more. It...

0 Comments

TAGS:

functional safety | Functional Verification | ROHM Co. | press release | ISO 26262
Xperiences with Xcelium: Hewett-Packard Enterprise Makes the Switch

By XTeam | 24 Jul 2017

At Hewlett-Packard Enterprise (HPE), the team working to create IP for “The Machine,” HPE’s vision for the future of computing, recently decided to make the switch to the Xcelium Simulator from their old mix of simulators. To gauge how much Xcelium would help improve their productivity, engineers at HPE devised a series of trials. Each trial applied a specific set of circumstances to check how Xcelium...

0 Comments

TAGS:

Functional Verification | xcelium | hp enterprise
Enum compatibility error in Specman

By teamspecman | 18 Jul 2017

One of my favorite quotes about SW programming is the following by Edsger Dijkstra: "If debugging is the process of removing software bugs, then programming must be the process of putting them in." Yes, we all insert bugs while we write code. And a significant part of the verification development time is spent on debugging. You might be tempted to think that most debugging time is spent on detecting errors like...

0 Comments

TAGS:

enumerator | Specman | Incisive | e language | xcelium | verification
Cadence @ DAC: What to Expect and What to See

By XTeam | 19 Jun 2017

Cadence returns to DAC 2017 this year, showcasing our full verification suite. Here are some of the things you can look forward to from us in the upcoming week. Once again, Cadence has the Expert Bar on Monday, Tuesday, and Wednesday. The Expert Bar is where engineers can visit our booth and have conversations with our technical experts. Cadence will be running many sessions, and those topics are listed below. ...

0 Comments

TAGS:

DAC | methodology | EDA | Formal verification | verification
A Brief Introduction to Xcelium

By XTeam | 9 Jun 2017

Welcome to the XTeam blog! We are a team of bloggers dedicated to showcasing the newest in parallel simulation technology with the Xcelium Parallel Simulator. In this blog, we will bring you informational and technical articles regarding Xcelium’s features, such as X-propagation technology, save and restore, and incremental elaboration, in addition to information about innovations and general improvements over existing...

0 Comments

TAGS:

Low Power | digital mixed signal | Functional Verification | Multi-Core | xcelium | parallel simulation
Static Members in e

By teamspecman | 12 Mar 2017

How do you define elegant or clean code? Usually, you know it when you see it; defining it is harder. It is usually a simple, clear and well-structured code. OO programming languages (like Java, C++, System Verilog, and also e ) provide you with aids to write elegant code. This blog is about static members in e . Can you live without them? Usually, you can. What can they do for you? Help you write elegant and clean code...

0 Comments

TAGS:

Specman | Incisive | e language | static | xcelium | verification
Specman in Xcelium

By teamspecman | 6 Mar 2017

Just recently Cadence announced the new superb simulator, Xcelium . Just as Specman was part of the previous simulator, IES, it is now part of Xcelium. As always, we keep enhancing and developing Specman, and the new Specman release, now part of Xcelium, contains great new capabilities. The focus in the last year was on tools that will enable you, the verification experts, to create easy to use powerful verification...

0 Comments

TAGS:

IEEE 1647 | funtional verification | Specman | Functional Verification | e | e language | Funcional Verification | specman elite | Incisive Enterprise Simulator (IES) | IES | verification | IES-XL
IEEE Std 1647™ 2016 - e Language - New Standard Publication

By teamspecman | 2 Feb 2017

Congratulations to the IEEE-1647 e Functional Verification Language Working Group ( e WG) In the beginning of 2017, the IEEE-1647 e WG issued for publication IEEE Std 1647™ 2016, IEEE Standard for the Functional Verification Language e . This version of the standard, issued under the chairmanship of Darren Galpin from Infineon, with input from other members from the EDA industry, contains enhancements of the...

1 Comments

TAGS:

IEEE 1647 | Specman | e | e language | specman elite
Creating Code from Tables

By teamspecman | 30 Nov 2016

Some things are best described with tables—each column shows the values for one category, and each row encapsulates one given set of values for all categories. e verification language code is a perfect fit. This blog describes how to use tables in your verification environment code to make the code more readable and more easily maintained. The tables can be written in the code or they can be pulled in from an...

0 Comments

TAGS:

Specman | Tables | e | verification
What is ISO 26262 and Why Should I Care?

By Randal Childers | 29 Sep 2016

ISO 26262 is a functional safety standard applied to the development of electrical and/or electronic (E/E) systems in automobiles . It is aimed at reducing risks of physical injury or of damage to the health of people in the event of an unplanned or unexpected hazard. The standard requires that every tool used within the design and verification flow, that can either insert errors into the final product or prevent errors...

0 Comments

TAGS:

automotive | functional safety | cadence | ISO 26262
Coverage Maximization

By teamspecman | 24 Aug 2016

Searching for “automatic coverage maximization” results with ~16 million hits. Alas, this does not reflect 16 million solutions, rather it is an indication of the big interest in this topic, and the many attempts to automate the process of “getting full coverage, faster”. There are several tools available, performing smart coverage analysis and directing the tests to the less covered areas. ...

0 Comments

TAGS:

Specman | coverage | Functional Verification | Testbench simulation | Coverage-Driven Verification | CDV | e | e language | Funcional Verification | team specman | specman elite | verification
Fine Tuning of Coverage Model Definition

By teamspecman | 14 Jul 2016

Functional Coverage is one of the main means to measure the quality and progress of the verification project. We define coverage models, run semi-random tests, and every once in a while analyze the coverage report to decide “are we there yet?”. When talking about “coverage closure”, people tend to talk about generation, how we create the data that will fill the coverage. In this blog, we discuss...

0 Comments

TAGS:

funtional verification | Specman | coverage | Functional Verification | Coverage-Driven Verification | CDV | e | e language | Funcional Verification | team specman | Verification IP modeling | metric-driven verification | MDV
Why Do We Need a Verification Language?

By teamspecman | 21 Jun 2016

This month, we celebrate the 20 th anniversary of Specman’s introduction to the public—at DAC 1996 in Las Vegas. This introduction was not simply of a new tool—it was the introduction of a new concept. Specman included e , and thus, with that introduction, the first Hardware Verification Language was born. Many of you, I suspect, were still in high school in the 1990s. You would be amazed if you saw...

0 Comments

TAGS:

Specman | e | Aspect Oriented Programming | yoav hollander | verification
How to Find Where Declared e Entities Are Used

By teamspecman | 5 Jun 2016

The e Reflection API allows you to perform various queries on entities in your own code, and to figure out which types, fields, methods, and so on have been declared in the code, the relations between them, and their source information. However, what the Reflection API does not provide is an ability to figure out if those entities are actually used, and if so, where they are used. For example, you have declared a method...

0 Comments

TAGS:

IEEE 1647 | funtional verification | Specman | Functional Verification | e | e language | Funcional Verification | specman elite | IES
Simulation Acceleration—Maximizing Simulator Performance

By teamspecman | 25 May 2016

"Simulation Acceleration” or “Accelerated Verification” are terms commonly used to describe a verification environment in which the Device Under Test is synthesized and runs on the emulator, while the testbench runs on the simulator. This blog describes a technique for maximizing the performance of the simulator and thus increasing the overall performance of the Simulation Acceleration. In Simulation...

0 Comments

TAGS:

Specman | Functional Verification | e | specman elite | verification
Building Efficient Scoreboards

By teamspecman | 18 Apr 2016

A “scoreboard” is a verification component that checks the data sent to the DUT against the data received from the DUT. The fundamental flow of the scoreboard is simple: Items sent to the DUT are added to the scoreboard and stored in its data base. Items returned from the DUT (and collected by the monitors) are added to the scoreboard to be matched against the items sent. Basically, the matching...

0 Comments

Functional Verification Blogs

Cadence Community