Equivalence Checker Formally Verifies Bug-Free RTL Clock Gating

Nov. 16, 2006
Clock-gating techniques for power management are coming into greater favor among RTL designers. Often, designers will instantiate clock gating as a means of conserving power by turning off the clocks to quiescent sections of the system. Unfortunate

Clock-gating techniques for power management are coming into greater favor among RTL designers. Often, designers will instantiate clock gating as a means of conserving power by turning off the clocks to quiescent sections of the system.

Unfortunately, these techniques typically are employed late in the RTL-design game, so it's difficult to determine their effectiveness. Even more critical to ascertain is whether the instantiation of clock gating has introduced functional bugs into the system. Clock gating has proved to be difficult to verify in a test-bench-driven verification flow. In such flows, it's difficult to control and observe.

Into the breach comes Calypto Design Systems and its SLEC CG (Sequential Logic Equivalence Checking for Clock Gating). SLEC CG builds upon Calypto's existing SLEC family of RTL equivalence checkers by adding the ability to functionally verify RTL power optimizations without the need to write specific test-benches or run simulations.

SLEC CG quickly identifies bugs that have been introduced through the instantiation of RTL clock gating. The tool formally verifies the changes made to the RTL, finding elusive corner-case bugs and giving designers an efficient block-level debug environment.

Additionally, the tool automatically detects clock-gating logic and ensures that the enabling logic is stable in relation to the clock edges. It verifies all possible input sequences that enable and disable clocks. It also checks complex clock-gating schemes that cross hierarchical and block boundaries. These conditions can be very difficult to control and observe using test-bench-driven verification techniques.

The clock-gating verification capabilities nicely complement Calypto's SLEC RTL and System packages. SLEC RTL compares an RTL design specification against a "golden" reference design. SLEC RTL detects design differences and automatically generates counterexamples for debug. SLEC System proves functional equivalence or locates differences between SystemC/C++ models and RTL.

SLEC CG is available immediately with support for VHDL and Verilog. Design teams with existing licenses will receive SLEC CG as part of their SLEC RTL and SLEC System suites. The tool runs under Linux and is priced from $125,000.

Calypto Design Systems
www.calypto.com

See Associated Figure

Sponsored Recommendations

Highly Integrated 20A Digital Power Module for High Current Applications

March 20, 2024
Renesas latest power module delivers the highest efficiency (up to 94% peak) and fast time-to-market solution in an extremely small footprint. The RRM12120 is ideal for space...

Empowering Innovation: Your Power Partner for Tomorrow's Challenges

March 20, 2024
Discover how innovation, quality, and reliability are embedded into every aspect of Renesas' power products.

Article: Meeting the challenges of power conversion in e-bikes

March 18, 2024
Managing electrical noise in a compact and lightweight vehicle is a perpetual obstacle

Power modules provide high-efficiency conversion between 400V and 800V systems for electric vehicles

March 18, 2024
Porsche, Hyundai and GMC all are converting 400 – 800V today in very different ways. Learn more about how power modules stack up to these discrete designs.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!