Case Studies & Testimonials2019-09-19T20:35:10-07: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

“We set up a new hierarchical CDC flow using [Real Intent Meridian CDC].   …We have very complex clock structures and large designs. The runtime with the hierarchical flow is so good, designers can have 2-3 iterations of debug in 1 day. …Top CDC owners saved roughly 75% of effort with this new flow.” – Youngchan (YC) Lee, Samsung

Read Article >>

“The install and bring up for Real Intent’s Ascent Lint was extremely easy. We were able to deploy it with one engineer, and it took only one to two days to get to actionable data. Ascent Lint’s performance was fast, plus its outputs were clear and obvious — the ease of interpretation of results spoke to a mature tool. We look forward to using Ascent Lint on all of our future projects.”  – Ty Garibay, VP of Engineering, Mythic

AutoFormal enabled a 30 percent reduction in logic simulation time. This simulation reduction was based on AutoFormal’s ability to identify the root cause error as a primary failure, with other violations detected as warnings.”  – Atsunori Machida, Fujitsu Kyushu Network Technologies

Read Article >>

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 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

Meridian RDC‘s speed was good. Our IP Block was a complex DSP engine — and took only 19 minutes to run. …The feedback from the tool was pretty straight forward, and it was relatively low noise vs. our other tool. The tool identified ~ 3000 paths in the design that had safe crossings due to proper clock gating. 1000 metastable crossing cases with issues due to deprecated partial async domain handling in RTL. 700 were due to a soft reset feature being added to the IP which needed to be flushed out.”  – 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

“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 >>

“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 >>

“We selected Real Intent’s solution because of the clear accuracy and debug advantages over other options. We determined that the adoption of [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 AutoFormal 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

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 >>

“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 >>