EDN

The power of sequential design optimizations

Energy (or, more specifically, energy consumption) is at the forefront in everyone's mind these days. Whether we are sensitive to the cost of fuel, to the electricity bill or to a dead cell phone ...
Electronic Design

Sequential-Logic Equivalence Checker Gains Capacity And Speeds Up Runtimes

Checking functional equivalency between system-level models expressed in SystemC or C/C++ and their corresponding RTL representations is an important step toward making the high-level models useful in ...
Electronic Design

Sequential Power Optimization Tool Pinpoints Clock-Gating Opportunities At RTL

Unlike combinational power reduction tools, PowerPro CG identifies and generates sequential clock-gating transformations. It fits into existing design flows with industry-standard library, timing, and ...
EDN

Sequential equivalence checking for RTL models

In this paper, we examine the need for formal sequential equivalence checkingacross pairs of RTL models. We present scenarios that call for modifying thesequential behavior of RTL models while ...
Morningstar

Cadence Design Systems Earnings: Sequential Improvement Boosted by Healthy AI-Based Demand

We keep our $240 per share fair value estimate for narrow-moat Cadence Design Systems after second-quarter results came in above our expectations. Due to the acquisition of Beta CAE Systems, ...