Customers

Customers and Testomonials

Starc Logo"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."
Nobuyuki Nishiguchi
Vice President and General Manager, R&D Department-2
STARC

altera"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."
Jeff Fox
Principal verification architect
Altera Corporation

tsmc"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."
Suk Lee
Director, Design Infrastructure Marketing Division
TSMC

AMD"BugScope assertion synthesis has the potential to substantially reduce our verification effort and accelerate verification closure for our advanced processor and graphics designs."
Jim Miller
Corporate VP of Design Engineering
AMD

Fujitsu"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."
Yuji Yoshitani
Senior Engineer, Development Dept.II, System Logic Development Center
Fujitsu Kyushu Network Technologies Limited

entropic"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."
Bill Lind
Director of Engineering
Entropic Communications, Inc.

STM"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..."
François Rémond
Director of CAD
STMicroelectronics

IDT"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."
Alan Coady
Senior Director
IDT

fujitsu"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..."
Raimund Soenning
Manager Hardware Development - Graphics Competence Center
Fujitsu Microelectronics Europe

nvidia"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."
Dan Smith
Director of Hardware Engineering
Nvidia Corporation

arasan"Atrenta's SpyGlass platform has been instrumental in helping us reach the stringent quality goals we set for our broad IP portfolio."
Chandan Egbert
Senior Director of Engineering
Arasan

nec"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."
Akira Denda
Department Manager, Device Platform Development Department 1st SoC Operations Unit
NEC Electronics Corporation

stm(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."
Philippe Magarshack
Vice President for Central CAD & Design Solutions
STMicroelectronics

LG"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."
Dr. Kang, Yong-Seok
Principal Engineer of Design Technology Part
LG Electronics

PLX"NextOp offers a unique technology that creates high valued assertions and enables our ABV flow."
Jordan Silver
Engineering Director
PLX Technology, Inc.

"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"
Semiconductor Designer
Deepchip/ESNUG 484

STM"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."
Frederic Grandvaux
Memory Test Solutions Manager within Central CAD & Design Solutions
STMicroelectronics

STMWe 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."
Angelo Oldani
Design Director for the Communication Infrastructure Division
STMicroelectronics

Atheros"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."
Rick Bahr
Vice President of Engineering
Atheros

Tieto"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."
Rudolf Krumenacker
Head of Embedded Systems Design
Tieto

More Information