industry news
Subscribe Now

Springsoft Rolls Out Advanced Technology Platform For Certitude Functional Qualification System

HSINCHU, Taiwan, May 11, 2011 — SpringSoft, Inc., a global supplier of specialized IC design software, today announced advancements to its Certitude™ Functional Qualification System that enable broader and more efficient deployment of verification qualification methodologies. New detection automation and checker qualification capabilities are among the key innovations developed to quickly identify potential problems in chip verification environments with fewer resources and drive continuous improvements throughout the verification flow.

Functional verification is the process of confirming that chip design implementations function as specified. Certitude software is the only commercially available tool to objectively qualify the checking mechanisms and stimuli (tests) used for functional verification of IP modules and system-on-chip (SoC) designs. Expansion of the Certitude technology platform is aimed at checking critical functionality earlier and more frequently to ensure with high level of confidence that verification environments are ‘signoff’ quality. This development milestone is integral to SpringSoft’s mission and product roadmap for accelerating functional closure of today’s increasingly complex SoC designs.

“Certitude is becoming an essential part of functional verification signoff flows,” said George Bakewell, director of product marketing at SpringSoft. “With the new automation technologies and infrastructure improvements in our latest release, Certitude provides meaningful information faster on the quality of chip verification environments, so engineers can prioritize their efforts and more effectively utilize system resources. More importantly, we’re also extending the use model for functional qualification to earlier in the verification flow, and not just a point tool used at the end of the process, to help SoC teams get to signoff sooner with higher quality designs.”

Expanded Technology Platform

SpringSoft’s Certitude software combines patented automation technology with mutation-based techniques and static analysis to measure effectiveness, identify significant weaknesses, and improve the quality of results for HDL simulation-based verification. In simple terms, the system injects faults (artificial mutations) into the register transfer level (RTL) version of designs and runs tests against each fault using the engineer’s digital logic simulator of choice. The results provide detailed information on activation, propagation, and error detection capabilities to assess overall verification progress and to find and fix holes, such as missing functional checks, incomplete test scenarios, and infrastructure problems. Analysis of faults that don’t propagate or are not detected by the verification environment points to specific problems in the stimuli, observability or checkers with feedback to help correct them.

New fault detection, ranking and tracking functions have been added to the Certitude technology platform to provide important feedback faster, refine results, and simplify fault analysis throughout the verification flow. When the Certitude system finds a non-detected (ND) fault, it automatically drops other faults related to that ND fault so as to not waste valuable cycle time. This capability has been refined over multiple software releases, initially based on logic cones. The system now allows fault dropping with an extended logic cone approach that expands the dropping criteria beyond a single cone to further minimize the ‘noise’ factor. Engineers can find high priority ND faults much faster. The new fault ranking and prioritization capabilities offer guidance on which ND faults within a specific fault class to analyze first and which test to use for investigation. Test cases for a given ND fault are automatically ranked based on their impact on the output when propagated.

When enough important results are found, the Certitude system automatically stops so engineers can incrementally analyze, fix and eliminate problems. The detection auto stop feature relies on predefined criteria, such as prioritized fault classes and ND faults within a class, to define a reasonable stopping point based on verification goals. In addition, because design code often changes between Certitude runs, the tool employs an automated fault ID scheme to transparently map fault IDs and maintain consistency in the reports used to analyze results.

Earlier, More Complete Verification Signoff

As part of its Certitude platform expansion, SpringSoft will also introduce a new mode for deployment early in the verification process to measure how well the environment detects unspecified behavior. In most SoC verification environments, the checker infrastructure is typically in place before all the tests are written. The new mode is designed to generate fast results with less simulation resources in order to provide early indicators of checker effectiveness and reveal problems, such as incorrect or missing checkers. In addition, SpringSoft’s product roadmap will extend further the range of Certitude applications in an effort to make functional verification sign-off more complete. Development efforts include areas such as improved application at the SoC level and enhanced assertion support.

Pricing & Availability

The advanced detection capabilities are shipping today in the latest production release of the Certitude Functional Qualification System. The new early deployment mode is currently available to early release customers. The Certitude software is implemented with a project-based use model for maximum productivity and list priced at US$100,000 for one-year subscription license. For more information about the Certitude product, visit: http://www.springsoft.com/products/functional-qualification/certitude

About SpringSoft

SpringSoft, Inc. (TAIEX: 2473) is a global supplier of specialized automation technologies that accelerate engineers during the design, verification and debug of complex digital, analog and mixed-signal ICs, ASICs, microprocessors, and SoCs. Its award-winning product portfolio features the Novas™ Verification Enhancement and Laker™ Custom IC Design solutions used by more than 400 of today’s leading IDM and fabless semiconductor companies, foundries, and electronic systems OEMs. Headquartered in Hsinchu, Taiwan, SpringSoft is the largest company in Asia specializing in IC design software and a recognized industry leader in customer service with more than 400 employees located in multiple R&D sites and local support offices around the world. For more information, visit www.springsoft.com.

Leave a Reply

featured blogs
Feb 28, 2021
Using Cadence ® Specman ® Elite macros lets you extend the e language '”€ i.e. invent your own syntax. Today, every verification environment contains multiple macros. Some are simple '€œsyntax... [[ Click on the title to access the full blog on the Cadence Comm...
Feb 27, 2021
New Edge Rate High Speed Connector Set Is Micro, Rugged Years ago, while hiking the Colorado River Trail in Rocky Mountain National Park with my two sons, the older one found a really nice Swiss Army Knife. By “really nice” I mean it was one of those big knives wi...
Feb 26, 2021
OMG! Three 32-bit processor cores each running at 300 MHz, each with its own floating-point unit (FPU), and each with more memory than you than throw a stick at!...

featured video

Silicon-Proven Automotive-Grade DesignWare IP

Sponsored by Synopsys

Get the latest on Synopsys' automotive IP portfolio supporting ISO 26262 functional safety, reliability, and quality management standards, with an available architecture for SoC development and safety management.

Click here for more information

featured paper

The Basics of Using the DS28S60

Sponsored by Maxim Integrated

This app note details how to use the DS28S60 cryptographic processor with the ChipDNA™. It describes the required set up of the DS28S60 and a step-by-step approach to use the asymmetric key exchange to securely generate a shared symmetric key between a host and a client. Next, it provides a walk through on how to use the symmetric key to exchange encrypted data between a Host and a Client. Finally, it gives an example of a bidirectional authentication process with the DS28S60 using an ECDSA.

Click here to download the whitepaper

featured chalk talk

TI Robotics System Learning Kit

Sponsored by Mouser Electronics and Texas Instruments

Robotics projects can get complicated quickly, and finding a set of components, controllers, networking, and software that plays nicely together is a real headache. In this episode of Chalk Talk, Amelia Dalton chats with Mark Easley of Texas Instruments aVBOUT THE TI-RSLK Robotics Kit, which will get you up and running on your next robotics project in no time.

Click here for more information about the Texas Instruments TIRSLK-EVM Robotics System Lab Kit