Welcome!

News Feed Item

MEDIA ALERT: OneSpin Solutions to Leverage Verification-Intensive, Safety-Critical Designs to Demonstrate Automated, Advanced Formal Techniques at DAC

Entire Formal Verification Offering to Be Showcased in Designer Track Presentation, Pavilion Panel Discussion, In-Depth Product Demonstrations

SANTA CLARA, CA -- (Marketwired) -- 05/21/14 --


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

WHAT: Will exhibit at the 51st Design Automation Conference (DAC) in Booth #1219. OneSpin will leverage-verification intensive, safety-critical designs to demonstrate its Quantify™ observation coverage software, full range of automated analysis solutions, and sequential application specific integrated circuit (ASIC) and field programmable gate array (FPGA) equivalency checking products.

WHEN: Monday, June 2, through Wednesday, June 4, from 9 a.m. until 6 p.m.

WHERE: Moscone Center, San Francisco

Holger Busch of Infineon Technologies, a long-time OneSpin formal verification expert, will participate in the pavilion panel discussion "The Asymptote of Verification" June 2 from 5:15 p.m. until 6 p.m. in the Pavilion (Booth #313). Beer, wine and soft drinks will be served, provided by OneSpin, the panel's sponsor.

Busch will present "Formal Safety Verification With Qualified Property Sets" during the Designer Track Session "Accelerating Productivity Through Formal and Static Methods" June 3 from 4 p.m. until 6 p.m. He will present an extended version in the OneSpin Booth daily, as well.

OneSpin will offer product demonstrations of:

  • OneSpin 360 DV Inspect™ for fully automated formal design analysis with assertion synthesis, and advanced pre-packaged solutions
  • OneSpin 360 EC™ (equivalence checking) product family for FPGA and ASIC synthesis verification leveraging sequential optimizations
  • OneSpin 360™ DV Verify™ (design verification) family, including precise Quantify observation coverage-driven property checking
  • System on chip (SoC) and intellectual property (IP) integration verification solutions

To schedule a demonstration of Quantify or other OneSpin formal verification products, visit: www.onespin-solutions.com.

The DAC website can be found at: www.dac.com.

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: [email protected]. Website: www.onespin-solutions.com.

OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and Quantify are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822
Email Contact

More Stories By Marketwired .

Copyright © 2009 Marketwired. All rights reserved. All the news releases provided by Marketwired are copyrighted. Any forms of copying other than an individual user's personal reference without express written permission is prohibited. Further distribution of these materials is strictly forbidden, including but not limited to, posting, emailing, faxing, archiving in a public database, redistributing via a computer network or in a printed form.

Latest Stories
SYS-CON Events announced today that Pulzze Systems will exhibit at the 19th International Cloud Expo, which will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. Pulzze Systems, Inc. provides infrastructure products for the Internet of Things to enable any connected device and system to carry out matched operations without programming. For more information, visit http://www.pulzzesystems.com.
Developing software for the Internet of Things (IoT) comes with its own set of challenges. Security, privacy, and unified standards are a few key issues. In addition, each IoT product is comprised of (at least) three separate application components: the software embedded in the device, the back-end service, and the mobile application for the end user’s controls. Each component is developed by a different team, using different technologies and practices, and deployed to a different stack/target –...
SYS-CON Events announced today Telecom Reseller has been named “Media Sponsor” of SYS-CON's 19th International Cloud Expo, which will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. Telecom Reseller reports on Unified Communications, UCaaS, BPaaS for enterprise and SMBs. They report extensively on both customer premises based solutions such as IP-PBX as well as cloud based and hosted platforms.
Traditional on-premises data centers have long been the domain of modern data platforms like Apache Hadoop, meaning companies who build their business on public cloud were challenged to run Big Data processing and analytics at scale. But recent advancements in Hadoop performance, security, and most importantly cloud-native integrations, are giving organizations the ability to truly gain value from all their data. In his session at 19th Cloud Expo, David Tishgart, Director of Product Marketing ...
Almost two-thirds of companies either have or soon will have IoT as the backbone of their business in 2016. However, IoT is far more complex than most firms expected. How can you not get trapped in the pitfalls? In his session at @ThingsExpo, Tony Shan, a renowned visionary and thought leader, will introduce a holistic method of IoTification, which is the process of IoTifying the existing technology and business models to adopt and leverage IoT. He will drill down to the components in this fra...
Fact: storage performance problems have only gotten more complicated, as applications not only have become largely virtualized, but also have moved to cloud-based infrastructures. Storage performance in virtualized environments isn’t just about IOPS anymore. Instead, you need to guarantee performance for individual VMs, helping applications maintain performance as the number of VMs continues to go up in real time. In his session at Cloud Expo, Dhiraj Sehgal, Product and Marketing at Tintri, wil...
Pulzze Systems was happy to participate in such a premier event and thankful to be receiving the winning investment and global network support from G-Startup Worldwide. It is an exciting time for Pulzze to showcase the effectiveness of innovative technologies and enable them to make the world smarter and better. The reputable contest is held to identify promising startups around the globe that are assured to change the world through their innovative products and disruptive technologies. There w...
StarNet Communications Corp has announced the addition of three Secure Remote Desktop modules to its flagship X-Win32 PC X server. The new modules enable X-Win32 to safely tunnel the remote desktops from Linux and Unix servers to the user’s PC over encrypted SSH. Traditionally, users of PC X servers deploy the XDMCP protocol to display remote desktop environments such as the Gnome and KDE desktops on Linux servers and the CDE environment on Solaris Unix machines. XDMCP is used primarily on comp...
There is growing need for data-driven applications and the need for digital platforms to build these apps. In his session at 19th Cloud Expo, Muddu Sudhakar, VP and GM of Security & IoT at Splunk, will cover different PaaS solutions and Big Data platforms that are available to build applications. In addition, AI and machine learning are creating new requirements that developers need in the building of next-gen apps. The next-generation digital platforms have some of the past platform needs a...
SYS-CON Events announced today that StarNet Communications will exhibit at the 19th International Cloud Expo, which will take place on November 1–3, 2016, at the Santa Clara Convention Center in Santa Clara, CA. StarNet Communications’ FastX is the industry first cloud-based remote X Windows emulator. Using standard Web browsers (FireFox, Chrome, Safari, etc.) users from around the world gain highly secure access to applications and data hosted on Linux-based servers in a central data center. ...
Extreme Computing is the ability to leverage highly performant infrastructure and software to accelerate Big Data, machine learning, HPC, and Enterprise applications. High IOPS Storage, low-latency networks, in-memory databases, GPUs and other parallel accelerators are being used to achieve faster results and help businesses make better decisions. In his session at 18th Cloud Expo, Michael O'Neill, Strategic Business Development at NVIDIA, focused on some of the unique ways extreme computing is...
With so much going on in this space you could be forgiven for thinking you were always working with yesterday’s technologies. So much change, so quickly. What do you do if you have to build a solution from the ground up that is expected to live in the field for at least 5-10 years? This is the challenge we faced when we looked to refresh our existing 10-year-old custom hardware stack to measure the fullness of trash cans and compactors.
The emerging Internet of Everything creates tremendous new opportunities for customer engagement and business model innovation. However, enterprises must overcome a number of critical challenges to bring these new solutions to market. In his session at @ThingsExpo, Michael Martin, CTO/CIO at nfrastructure, outlined these key challenges and recommended approaches for overcoming them to achieve speed and agility in the design, development and implementation of Internet of Everything solutions wi...
Today we can collect lots and lots of performance data. We build beautiful dashboards and even have fancy query languages to access and transform the data. Still performance data is a secret language only a couple of people understand. The more business becomes digital the more stakeholders are interested in this data including how it relates to business. Some of these people have never used a monitoring tool before. They have a question on their mind like “How is my application doing” but no id...
Cloud computing is being adopted in one form or another by 94% of enterprises today. Tens of billions of new devices are being connected to The Internet of Things. And Big Data is driving this bus. An exponential increase is expected in the amount of information being processed, managed, analyzed, and acted upon by enterprise IT. This amazing is not part of some distant future - it is happening today. One report shows a 650% increase in enterprise data by 2020. Other estimates are even higher....