Case Studies & Testimonials2019-02-04T20:36:48+00:00

Case Studies & Testimonials

“NVIDIA has been a customer of Real Intent since 2000. We are extremely happy with the products, they are a regular part of our flows, and the quality of technical support is excellent. Real Intent is a reliable business partner for us because of their friendly business practice and dedication to make their customers successful.”  – Dan Smith, Director of Hardware Engineering, NVIDIA

“Of all the clock domain crossing (CDC) tools we evaluated, Real Intent’s Meridian CDC has the least number of false CDC errors (if any at all). Its setup on the clock and reset environment is painless, as it identifies the clock and reset relationship automatically, requiring almost no setup effort from the designer. Meridian is high performance, finishes CDC analysis in minutes. Meridian greatly simplifies designer’s task in CDC verification.”  – Peter Teng, Sr., Engineering Manager, Renesas

The capability of reading/using multi-mode SDC (design constraints) of STA for running CDC in multi-mode elevates Verix CDC to a sign-off tool. …One common report for multi-mode CDC would prevent the duplication of common errors (CDC violations) across multiple modes, hence this saves the user’s time to debug the common CDC violations in each mode.”  – User review

Read Article >>

“We are using Verix CDC for a specific reason. …We want to verify larger designs above the block level. The interfaces are more interesting (vulnerable to CDC problems) between blocks, and verifying larger pieces of the chip at once means fewer setups that we need to create. In this larger scope of verification, we also want to use more complex sign-off constraints (from STA), and more complex clocking structures in the design. Basically, we want to model and constrain the design for CDC in a way close to the way we sign it off.”  – User review

Read Article >>

“We selected Real Intent’s Meridian CDC solution because of its distinct accuracy, capacity and reporting advantages over our previous methodology. Finding asynchronous crossing errors and having the excellent accuracy of the analysis reports were key to our decision. Meridian was able to detect actual design failures and yet did not report false failures. Its efficiency in reporting the exact re-convergence points in our designs, and the formal analysis of possible pulse-width errors also proved the accuracy of the tool.”  – Kenji Aoshima, General Manager Information Systems Products Business Unit, Hitachi Metals

“Real Intent Meridian CDC checks RTL design for clock domain crossing issues. I found from direct experience with the tool that: 1) Meridian’s analysis is fast, running at ~4,500 gates/second; Meridian CDC automatically identifies clocks in the design which makes environment setup effortless; Meridian’s report had less noise than the Spyglass – there were fewer unnecessary structures in the Meridian report file than the equivalent Spyglass CDC report; and Real Intent Meridian CDC gives us good visibility — we can drill down in the Meridian debug database for detailed analysis at the path-level.”  – User review

Read Article >>

“Brocade uses Meridian CDC in the design flow to ensure correct clock domain crossing operations. Meridian helped us find scenarios where we missed synchronization, and has also detected glitches in vendors IP we purchase. It is easy to use. Real Intent has excellent technical support.”  – LinMing Jin, Director ASIC PD, Brocade

Ascent AutoFormal helped find a few corner case bugs that we missed in simulation… We used to spend considerable amount of time trying to figure out how to create the right stimulus so that all lines of code was be executed. Sometimes … we’re spending lot of time and simulation cycles trying to figure out how to create the “right” stimulus to execute a block of code that cannot be reached due to a RTL bug. AutoFormal helped us find these blocks of dead code without any testbench. Using the built-in automatic assertions in AutoFormal, we were able to fix bugs at the early stage of our design phase to get 100% code coverage.”  – User review

Read Article >>

“We selected Real Intent’s solution because of the clear accuracy and debug advantages over other options. We determined that the adoption of Ascent IIV [Ascent AutoFormal] in our flow will contribute to improved quality of LSI designs for our communication systems. Being able to automatically analyze RTL early in the design cycle, without the need to write assertions or test-benches, was key to our decision. The smart reporting of Ascent IIV greatly reduced the size of analysis results compared to other tools and provided equal or better accuracy of results. These advanced debugging capabilities help our designers debug in a short amount of time, and reduce design errors and turnaround time for our product development.”  – Katsuhisa Ikeuchi, Network Platform Development Division, NEC

“Real Intent is low noise, it only sends out errors and warnings that are real. Lint tools in general throw out a lot of garbage, and it’s hard to sort through. Also, Ascent Lint doesn’t have duplicates, which helps a lot. Some of the other tools give the same error – with different names — double, triple, quadruple, and even 20 times.”  – User review

Read Article >>

Meridian CDC has been a very useful tool in our verification flow. It uncovered many clock crossing issues in our FPGA designs and allowed us to confirm that the fixes were valid. We are pleased with Meridian CDC’s superior technology, comprehensive coverage and high performance.” – Inwan Choi, Director, Anagran

“…Ascent Lint is very easy to run inside the Cadence Incisive environment. Within minutes of the tool getting installed we were able to run it on our IP with practically no time spent on setting up the tool. We like the incremental report generation because it identifies any additional issues when we create newer version of RTL. We also liked the lint rules in Ascent Lint that checks the use of the Synopsys full-case parallel case pragmas.”  – User review

Read Article >>