Featured

Cadence Welcomes VLAB Works

Cadence welcomes VLAB Works, a division of Australian Semiconductor Technology Corporation…

Corporate
• less than a min read
Automotive , featured , Virtual Development Environment , vlab , Protium

Time on Your Side: Launching PSS Perspec Composer

We all agree that time is precious. As PSS ( Portable Stimuli Standard ) models get…

OK202502201742
• 3 min read
featured , Perspec , pss , portable stimulus

Cadence Announces Industry's First Verification IP for Embedded USB2v2 (eUSB2v2)

USB Promoter Group has released the eUSB2® Version 2.0 specification (eUSB2v2) in…

Sanjeet Kumar
• less than a min read
Verification IP , eUSB2v2 , featured , Functional Verification , USB
Verification

Latest blogs

e and SystemVerilog: The Ultimate Race

For years we've watched the e and SystemVerilog race via countless presentations…

• 1 min read
IEEE 1647 , SystemVerilog , IEEE 1800 , simulation performance , e , Adam Sherer , UVM ML , Funcional Verification , IES

Incisive Simulation and Verification: Top 10 New Things I Learned While Browsing…

In my first blog of this quarterly series, I focused on how Rapid Adoption Kits …

• 6 min read
IMC , low power simulation , uvm , Specman , LPS , x-propagation , RAK , incisive simulation , LSF , Glitches , state retention , drm , SystemC , vMananger , IES-XL

Applying Software-Driven Development Techniques to Testbench Development

Over the past couple of years there has been some interest in applying a software…

• 1 min read
AF , Specman , debug , e code , Funcional Verification , unit testing , Incisive Enterprise Simulator (IES)

Cadence Announces Verification IP for MIPI SoundWire and C-PHY

Anyone who has been involved in designing mobile devices in recent years is familiar…

• less than a min read
Verification IP , MIPI Alliance , cadence , audio , PureSpec , Slimbus , VIP , MIPI , CSI , M-PCIe , Denali , C-PHY , Soundwire , M-PHY

The Importance of Ecosystems in the Internet of Things Era

As we develop electronics in early 2014, the battle between processor architectures…

• 4 min read
ARM ecosystem , System Design and Verification , electronics design , Internet of Things , ARM , embedded systems

Randomizing Error Locations in a 2D Array

A design team at a customer of mine started out with Specman for the first time…

• 3 min read
AF , IntelliGen , Specman , e code , stimuli , Generation , Funcional Verification

New Incisive Verification App and Papers at DVCon by Marvell and TI

If you're an avid reader of Cadence press releases (and what self-respecting verification…

• 1 min read
Formal Analysis , formal , Funcional Verification , DVCon 2014 , Formal verification , Assertion-based verification

Incisive vManager at DVCon - Come See It!

Have you heard the news? There is a new version of vManager announced this week,…

• 1 min read
collaboration , : Functional Verification , Verification methodology , cadence , Functional Verification , vPlan , Verisity , DVcon , metric-driven verification , functional coverage , vManager

e Language Editing with Emacs

Specman and e have been around for a while, and some clever people have developed…

• 1 min read
AF , Specman , Incisive Debug Analyzer , e code , xemacs , Funcional Verification , editing , emacs

Incisive Verification: Top 10 Things I Learned While Browsing Cadence Online Support…

There is always a demand, in most corners of the world today, for learning and troubleshooting…

• 9 min read
IEEE-1801 , LPS , App Note Incisive Simulation , Cadence Online Support , RAK , UVC , UPF , IES

Cadence and AMD Add New UVM Multi-Language Features

The UVM Multi-Language Open Architecture open-source library was recently updated…

• 2 min read
IEEE 1647 , SystemVerilog , uvm , IEEE 1800 , UVM-ML , VCs , Incisive , e , IEEE 1666 , Accellera , SystemC , Questa , IES-XL

Covering Edges (part II)—“Inverse Normal” Distribution

In the previous example , we used the "select edge" to generate edge values for fields…

• less than a min read
AF , e language , Funcional Verification , functional coverage , coverage driven verification (CDV) , Aspect Oriented Programming

ADI Success Verifying SoC Reset Using X-Propagation Technology - Video

Analog Devices Inc. succeeded in both speeding up the simulation and debug productivity…

• 2 min read
x-prop , Low Power , debug , simvision , CPF , x-propagation , Incisive , UPF , MDV , GLS , verification , IES-XL

Recap of Another Successful Japan C-to-Silicon User Seminar

Back in November, our Japan office hosted a C-to-Silicon Compiler user meeting. They…

• 3 min read
C-to-Silcon , Renesas , Japan user group , high level synthesis , Fujitsu , Casio

New Capabilities in the C-to-Silicon Compiler 2013 Releases

2013 was a banner year for high-level synthesis and C-to-Silicon Compiler in particular…

• 4 min read
13.1 , C-to-Silcon , 13.2 , pipeline functions , high level synthesis , RTL schematic

Practical Guide to the UVM for $15 - Virginia, There is a Santa!

Wondering what to get the verification engineer on your list? You know, the one with…

• less than a min read
funtional verification , SystemVerilog , scoreboard , uvm , IEEE 1800 , Verification methodology , UVMWorld , OVM , Incisive Enterprise Simulator , Register Package , SoC , IEEE1800 , Register Layer , IES , IUS , VMM

Covering Edges (Part I) – Cool Automation

With random generation, most of the fields are due to be quite well covered. If…

• 2 min read
AF , e language , Funcional Verification , functional coverage , coverage driven verification (CDV) , Aspect Oriented Programming

Accelerating Code Coverage Using Palladium XP Rapid Adoption Kit

Code coverage is an effective tool in the verification process, giving insights into…

• 1 min read
IMC , System level verification and validation with Palladium XP , Rapid Adoption Kits , Palladium XP , UniCov Databases , Accelerated Code Coverage , RAKs , Accelerated Coverage , Assertions and Functional Coverage with covergroups.

High-Level Synthesis Now Spans the Datapath-Control Spectrum

When we talk to prospective high-level synthesis (HLS) customers, one of the slides…

• 1 min read
antenna interface controller , controll logic , ITRI , NAND flash controller , C-to-Silcon , Freescale , System C , rtl compiler , data access controller , datapath , high level synthesis , Fujitsu Semiconductor

High-Level Synthesis—What Expertise Is Needed for Micro-Architecture Tradeoffs?

My most recent blog post mentioned how utilizing new algorithms together with high…

• 5 min read
RAM , micro-architecture , hardware , C-to-Silcon , C , SystemC , HLS , C++

Accelerated Code and Functional Coverage Using Palladium XP

Code coverage is an effective tool in the verification process—giving insights into…

• 2 min read
IMC , Cadence Online Support , UXE , Palladium XP , Incisive Verification Environment , support.cadence.com , Accelerated SV Covergrooups , Accelerated Coverage , IES

Coverage Unreachability UNR App - Rapid Adoption Kit

The Cadence Incisive Enterprise Verifier (IEV) team recently developed a self-help…

• 3 min read
coverage , Unreachability , RAK , UNR , IEV , Incisive Enterprise Simulator (IES) , Formal verification

Generic Dynamic Run-Time Operations with e Reflection, Part 1

Untyped Values and Value Holders The reflection API in e not only allows you to perform…

• 3 min read
AF , Functiional Verification , e language , Funcional Verification , coverage driven verification (CDV) , Aspect Oriented Programming , reflection

Starting Virtual Platform Simulation with Cadence Software Developer

Last time, I provided an introduction to the Eclipse setup for the Cadence Virtual…

• 4 min read
eclipse , Virtual System Platform , Embedded Software Debugging , Incisive

Combining the Linux Device Tree and Kernel Image for ARM

Back in 2010, I wrote two articles about a SystemC model used to load the Linux kernel…

• 2 min read
Virtual System Platform , virtual platforms , TLM , ARM kernel image , virtual prototypes , VSP , zimage , boot loader , System Design & Verification , SystemC , Linux device tree , ARM , system-level , linux , Jason Andrews , ESL , kernel

Getting Started with the Cadence Virtual System Platform: Software Developer

Cadence Software Developer is an exciting Eclipse-based product for developing, debugging…

• 4 min read
eclipse , Virtual System Platform

Trends in Using Software for System Verification

There is a clear trend to use more software running on the CPUs of a design for system…

• 2 min read
Palladium XP , hybrid engines , linux kernel , Virtual Platforms

e Macro Debugging

When creating a testbench using the MDV methodology, you want to write intelligent…

• 4 min read
AF , Functional Verification , Debug Performance , e macro debugging , e macros , macro debugging , e language , coverage driven verification (CDV) , macros
Blog - Title