Tieto Signs Long-Term Agreement to Deploy OneSpin Solutions' Formal Assertion-Based Verification Solution
HELSINKI, Finland and MUNICH, Germany – July 6, 2009 – Tieto, a leading international IT and R&D services company, and OneSpin Solutions today announced a long-term agreement to deploy OneSpin’s 360 MV formal assertion-based verification (ABV) solution in Tieto’s high-end FPGA verification flow. The agreement enables the design, verification and integration experts in Tieto’s largest division – telecom and media – to use the most comprehensive formal ABV solution available on the market to deliver leading-edge FPGA solutions to telecom operators, network equipment providers, mobile device manufacturers, automation, automotive and medical companies.
Rudolf Krumenacker, head of Tieto’s Embedded Systems Hardware service unit said, “By 2011, we want to be one of the world-leading telecom R&D partners for Hardware development. OneSpin’s formal verification technology is essential for us to deliver ‘first-time-right’ FPGA designs to our customers, to start functional verification earlier, and to shorten the time to market.” He continued, “We needed a formal ABV solution that addresses the broad range of requirements and tasks in our customer projects and that adapts easily to the wide diversity of skills in our company. 360 MV can be used across the company to ensure the functional and real-time capabilities of our designs, closing the ‘verification gap’ common in the development of high-end FPGA solutions. Additionally, OneSpin has a reputation for excellent customer support, which is essential for us to keep our customers’ project schedules.”
Tieto offers “one-stop shopping” for embedded systems products and design support for a wide range of different technology fields within the embedded systems product development. FPGA design is one of the core competences of the HW service area of Tieto. Tieto offers its design services for the automation, automotive, manufacture, medical and telecommunication industries.
OneSpin’s 360 MV solution covers the full spectrum of formal ABV applications using SystemVerilog Assertions (SVA) – from early automatic RTL analysis all the way to highest-quality gap-free verification – supporting a step-by-step learning approach that makes new users productive in days. The solution accelerates a wide range of verification tasks by up to 10x compared to simulation, and enables engineers to achieve a design quality that cannot be ensured by any other verification approach.
Peter Feist, OneSpin’s CEO said, “We have invested major effort into 360 MV to make formal ABV broadly accessible to chip design, verification, and integration teams. The long-term cooperation between Tieto and OneSpin demonstrates that teams that develop complex FPGAs now increasingly rely on formal ABV to achieve earlier verification closure and higher design quality, using technology that has predominantly been used in the ASIC/SoC domains. This trend will take formal verification further into the mainstream, making it a standard technology in companies’ verification tool kits.”
At the Design Automation Conference, July 27 - 30, 2009, in San Francisco, OneSpin will demonstrate 360 MV and provide two Formal ABV tutorials, “Get Going in a Day” for starters, and “Get Ahead” for experienced users.
About Tieto
Tieto is an IT service company providing IT, R&D and consulting services. With approximately 16,000 experts, we are among the leading IT service companies in Northern Europe and the global leader in selected segments. We specialize in areas where we have the deepest understanding of our customers' businesses and needs. Our superior customer centricity and Nordic expertise set us apart from our competitors. For further information please visit www.tieto.com and for hardware development in detail www.tieto.de/embedded-systems.
About OneSpin Solutions
Electronic Design Automation (EDA) company OneSpin Solutions delivers innovative, highest capacity formal verification solutions for the mainstream that ease and speed the functional verification of complex ASICs, SoCs and FPGAs. Market-leading telecommunications, automotive, consumer electronics, and embedded systems companies rely on OneSpin's award-winning products to substantially reduce verification effort and achieve highest possible verification quality. For further information please visit http://www.onespin-solutions.com/ or email info@onespin-solutions.com.
|
Related News
- OneSpin's New Debug Automation Technology Boosts Formal Assertion-Based Verification Productivity
- OneSpin Delivers First SystemC Assertion-Based Formal Verification Solution
- OneSpin launches industry’s first comprehensive solution for automatic metric-driven formal assertion-based verification coverage analysis and measurement
- OneSpin Solutions Enhances 360 MV for Safe, Exhaustive 4-State X-Analysis and X-Verification
- OneSpin Mainstreams Comprehensive Formal Assertion-Based Verification Enabling Step-by-Step Approach to Adoption and Use
Breaking News
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Cadence Unveils Arm-Based System Chiplet
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Esperanto Technologies and NEC Cooperate on Initiative to Advance Next Generation RISC-V Chips and Software Solutions for HPC
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- Arteris Selected by GigaDevice for Development in Next-Generation Automotive SoC With Enhanced FuSa Standards
E-mail This Article | Printer-Friendly Page |