Cadence Community

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
Single Core vs. Multi Core: Simulation in Stereo

By XTeam | 27 Jun 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
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
RTL Signoff vs. Functional Signoff

By John Brennan | 14 Apr 2016

The notion of signoff has many layers to it, both in terms of complexity but also in terms of meaning. In my last blog post, I talked about some of the imprecise attributes of functional verification, like how much functional coverage you should use on a particular design. I promised to next talk about signoff, so here it is. There are two fundamental steps most users apply to sign-off a new design, a functional milestone...

0 Comments

TAGS:

funtional verification | IMC | metric driven verification (MDV) | functional coverage | MDV | vManager
Modelling a Value Holder Template with the Value “new-ed” by Default

By teamspecman | 11 Apr 2016

In many companies, there is a well-defined flow for handling monitored data items: match the input data to output data (or, match a response to a request), update data, for example latency or the time from request to response, print formatted messages, and so on. One of the tools used by verification leaders to implement such company methodology and, at the same time, “pave the way” for variations in the...

0 Comments

TAGS:

IEEE 1647 | Specman | tech tips | e | e language | specman elite | Aspect Oriented Programming | AOP | verification
How to Handle a Binding Catastrophe

By teamspecman | 28 Mar 2016

Are you busy debugging your environment topology and coming up against components getting unexpected data? Have you found yourself asking “who is passing data to this monitor, and why?”? Components in the environment interact using ports (TLM ports, method ports, simple ports, and so on). This blog tackles the challenge of debugging a “bad connection”—an in port bound to the wrong out...

0 Comments

TAGS:

Specman | TLM | binding
e Templates – Cool Tool, Now Even Cooler

By teamspecman | 23 Mar 2016

One of the reasons why verification engineers love e is the power it gives them as no other language can. The combination of macros, reflection and extension allows you to create high quality utilities that can be shared by verification teams all over your company. Such utilities are an effective way to enhance the quality of the verification environment; the base type or template are created once by experts, and used...

0 Comments

Functional Verification Blogs

Cadence Community