REMINDER: MEDIA ALERT: OneSpin Solutions Named Silver Sponsor of ARM Technology
Will Showcase Innovative Formal Assertion-Based Verification
Solutions, Offer Look at Coverage-Driven Static Verification
Solutions for ARM Platform Integration Scenarios
SANTA CLARA, CA -- (Marketwired) -- 12/11/13 --
WHO: OneSpin(R) Solutions (www.onespin-solutions.com), provider of
innovative formal assertion-based verification (ABV) and formal
equivalence checking solutions
WHAT: Will demonstrate its Automated Verification Suite and present
"Coverage-Driven Static Verification Solutions Targeting ARM Platform
Integration Scenarios" at the upcoming ARM(R) Technology Symposium
WHEN: Thursday, December 12, from 8:30 a.m. until 5:30 p.m. OneSpin's
presentation, Track #27 in the program, will be held from 4:45 p.m.
until 5:15 p.m.
WHERE: CAP15, Paris
OneSpin product demonstrations will include OneSpin 360 EC
(equivalence checking) product family for field programmable gate
array (FPGA) and application specific integrated circuit (ASIC)
synthesis verification. Another demonstration will showcase the
OneSpin 360(TM) DV (for design verification) family, highlighting
automated formal analysis, as well as advanced, coverage-driven
property checking, system-on-chip (SoC) and intellectual property
(IP) integration verification.
To learn more about OneSpin Solutions, visit:
About OneSpin Solutions
Electronic design automation (EDA) supplier
OneSpin Solutions was founded in 2005 as a spin-off from Infineon
Technologies AG. Its award-winning formal verification software is
based on more than 300 engineering years of development and
application service experience. OneSpin's comprehensive product line
enables design teams to avoid costly design respins, while
dramatically cutting their verification effort and engineering
schedules. Leading telecommunications, automotive, consumer
electronics and embedded systems companies rely on OneSpin to achieve
the highest possible verification quality while reducing their
time-to-market pressures. Its United States headquarters is located
in Santa Clara, Calif. Corporate headquarters is in Munich, Germany.
Email: firstname.lastname@example.org. Website:
OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and
GapFreeVerification are trademarks of OneSpin Solutions GmbH. All
other trademarks are the property of their respective owners.
For more information, contact:
Public Relations for OneSpin Solutions
Press spacebar to pause and continue. Press esc to stop.