Customers and Testomonials
"Atrenta's latest release of power and deep submicron test solutions for RTL power estimation, reduction and verification offer the right answer to address today's complex design challenges. The version 5.0 of the STARCAD-CEL Reference Flow includes Atrenta's SpyGlass Power and SpyGlass DFT DSM solutions, enabling our customers to find killer bugs and implement low power design strategies while saving multiple iterations of synthesis and tens of hours of power simulations at the gate level."
"NextOp BugScope is an important part of Altera's robust coverage-driven functional verification methodology. BugScope allows us to generate numerous high-quality assertions so we can quickly enhance our tests to reach the highest levels of functional and assertion coverage for our designs."
"TSMC places high importance on the quality of deliverables from our IP ecosystem. We have worked closely with Atrenta to refine the process of validating the delivered quality of soft IP from our ecosystem partners. The capability we are now putting into production is expected to provide valuable information regarding soft IP quality for our end customers."
"BugScope assertion synthesis has the potential to substantially reduce our verification effort and accelerate verification closure for our advanced processor and graphics designs."
"With verification taking as much as 70% of total design cycle time, we believe that verification at the early stages of design can provide significant improvement in productivity. With SpyGlass AuoVerify, we were able to identify deeper RTL issues using formal technologies which are hard-to-find using basic linting or a simulation based methodology. SpyGlass AutoVerify enables us to check 'RTL activation status,' such as checking dead code, FSM deadlocks, unreachable states, static registers and initialized values of registers."
"NextOp BugScope automatically generates high quality assertions which capture the functional constraints in our RTL, and the tool also identifies the coverage holes we need to patch in our simulation testbench. By utilizing NextOp's BugScope assertion synthesis product as part of our functional verification flow, we are able to find corner-case bugs and ensure the success of our projects."
"The timing and physical closure of our SoCs has always been a big challenge for us. We needed a tool that would partition our SoCs based on our requirements, and provide trade-off analysis and guidance for our implementation tools. The SpyGlass-Physical product was able to achieve just that on 40nm and 32nm SoCs in significantly shorter time than we expected..."
"IDT is deploying BugScope to accelerate its functional verification for design and integration of IPs. We have been able to integrate over 90% of BugScope™ generated properties into our simulation flows."
"Atrenta's SpyGlass CDC product is critical in helping us avoid design iterations and general risks associated with our complex designs. We have been very impressed by the comprehensive solution offered by SpyGlass CDC, which allows us to quickly identify real problems in our clock networks at the earliest possible point in the design flow..."
"Following our rigorous process to ensure that the assertions and coverage properties BugScope generated were of high quality, Nvidia qualified NextOp's BugScope as part of its functional verification methodology. We look forward to expanding adoption of NextOp across our GPU designs."
"Atrenta's SpyGlass platform has been instrumental in helping us reach the stringent quality goals we set for our broad IP portfolio."
"By using SpyGlass-Power for RTL level analysis and efficient clock gating, we were able to reduce power by up to 40% in our wireless chip."
(STMicroelectronics) had been looking for a design environment ... focusing initially on architectural-level power analysis, estimation and management, and subsequently on top-down timing budgeting. We were very happy to discover a clear vision match with Atrenta's [GenSys] product."
"Our advanced digital television chips require automated assembly and sophisticated I/O support. We are pleased with the results we have seen so far using Atrenta's [GenSys]. We plan to use the product for automated assembly and I/O configuration on our latest designs."
"NextOp offers a unique technology that creates high valued assertions and enables our ABV flow."
"Developing assertions manually was a slow process. It took us roughly 8 man-hours to write and debug each assertion...In contrast, BugScope assertion synthesis does all this automatically, in about 6 minutes, which is a time savings of about 80x"
"The integration of Atrenta's SpyGlass MBIST solution in our front-end design kit has automated ST's proprietary embedded memory test and repair capabilities at RTL. The solution not only allows early and faster validation at RTL, but also allows timing optimization of the complete RTL with memory BIST where area impact is known early."
We have three designs in advanced phase of development that rely on inserting memory test with the SpyGlass MBIST solution. This automatic solution becomes necessary in devices having huge proliferation of memory instances, as our applications require improving efficiency/lead time in our DFT design flow."
"The Atrenta SpyGlass CDC product provides detailed clock domain synchronization checking, useful for external IP and IP integration verification. We are pleased to adopt this EDA tool to assist us with product development efficiencies."
"Atrenta's SpyGlass enables us to gauge quickly the quality of incoming RTL designs from our customers, reduce risks (e.g. effort and time) and then plan project resources and timelines accordingly. For our complex SoC designs, the clock domain crossing [CDC] capabilities in SpyGlass have proven to be mission critical."