OneSpin Solutions to Showcase Innovative Formal Verification Solutions at embedded world Conference

SAN JOSE, CA--

WHO: OneSpin® Solutions, provider of innovative formal verification and formal equivalence checking solutions

WHAT: Will exhibit at embedded world Conference, showcasing its innovative formal verification solutions that solve significant verification challenges, including high-reliability and safety-critical design techniques for both FPGA and ASIC design.

WHEN: Tuesday-Thursday, February 24-26

WHERE: Exhibition Centre Nuremberg, Nuremberg, Germany

For more information about OneSpin and its formal verification software, visit: www.onespin-solutions.com

The embedded world Conference program can be found at: www.embedded-world.de/en/

About OneSpin Solutions

Electronic design automation (EDA) supplier OneSpin Solutions' award-winning formal verification technology is based on more than 300 engineering years of development and application service experience. OneSpin's comprehensive product line simplifies designer verification, increases intensive block verification coverage, eliminates design refinement problems, and provides automated solutions for many complex verification problems. 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 San Jose, Calif. Corporate headquarters is in Munich, Germany. Email: info@onespin-solutions.com. Website: www.onespin-solutions.com.