Tieto Signs Long-Term Agreement to Deploy OneSpin Solutions` Formal Assertion-Based Verification Solution

Leading International IT and R&D Services Company Integrates OneSpin 360 MV
Solution into its Verification Flow for High-End FPGA Designs
HELSINKI & MUNICH--(Business Wire)--
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.

OneSpin is a registered trademark and OneSpin Solutions, OneSpin 360, the 360 MV
product names, GapFreeVerification, and the OneSpin logo are trademarks of
OneSpin Solutions GmbH. All other trademarks are the property of their
respective owners.

Editorial contact:
Tieto Deutschland
Rolf Lindenberg
+49 (0) 40 80002-0
rolf.lindenberg@tieto.com
or
OneSpin Solutions
Sarah Miller
+1 231-264-8636
sarah@thinkbold.com

Copyright Business Wire 2009