Top Stories

Challenges In Using AI In Verification
Just getting to the right starting point is problematic, and it doesn’t get easier from there.

The Evolution Of High-Level Synthesis
HLS is beginning to solve some problems that were not originally anticipated.

RISC-V’s Expanding Footprint
Codasip’s CTO talks about the market opportunities and technical challenges of working with the open-source ISA.

Blogs

Technology Editor Brian Bailey observes that the problem of terminology is getting worse, with marketing and technological change taking some of the blame, in Confusion Persists In Verification Terms.

Vtool’s Hagai Arbel describes using the inherent human capacity of analyzing and processing visual data to reduce the chance of bugs, in The Power Of Visualization.

Cadence’s Frank Schirrmeister digs into how data center design has changed in key ways over the past decade, driving a reshuffling of the value chain, in The Four Pillars Of Hyperscale Computing.

Codasip’s Roddy Urquhart cautions that while PPA numbers sound nice, a single benchmark may not tell the whole story, in Understanding The Performance Of Processor IP Cores.

Imagination’s Gerry Raptis outlines the challenges in keeping a GPU occupied with optimal utilization while paring back if the framerate target is hit, in Assessing Synchronization And Graphics-Compute-Graphics Hazards.

Aldec’s Sunil Sahoo summarizes why combining external and internal synthesis in a tool chain results in improved control and integration with a complete verification flow, in Logic Synthesis Basics For FPGA.

Synopsys’ Kevin Brand sees that finding the proper tradeoffs is a major challenge for EV manufacturers and that the difficulty of building bench rigs makes virtual prototypes even more useful, in Electric Vehicle Development From System To Software.

Mentor’s Greg Curtis and YuLing Lin explain why RF designs pose a highly specific set of design and verification challenges, with particular focus on techniques addressing the time and frequency domains to accurately predict silicon behavior, in Radio Frequency Technology Is Found Everywhere In Daily Life.

OneSpin’s Rob van Blommestein highlights how to ensure avionic computing systems satisfy DO-254 using coverage-driven verification, in Cleared—And Verified—For Takeoff.

Sponsor White Paper

Accelerate Time To Market With Calibre NmLVS-Recon Technology
A new paradigm for circuit verification.